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

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

collaborators

2 papers

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…

hep-ph2013

FormCalc 8: Better Algebra and Vectorization

B. Chokoufe Nejad, T. Hahn, J. -N. Lang +1

We present Version 8 of the Feynman-diagram calculator FormCalc. New features include in particular significantly improved algebraic simplification as well as vectorization of the…