most citedModel Checking a C++ Software Framework, a Case Study

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2019★ 2 cited

Model Checking a C++ Software Framework, a Case Study

John Lång, I. S. W. B. Prasetya

This paper presents a case study on applying two model checkers, SPIN and DIVINE, to verify key properties of a C++ software framework, known as ADAPRO, originally developed at CER…