CVPP

MaRDI QIDQ12946swMATHFDO

Official website http://www.csc.kth.se/~siavashs/cvpp/cvpp.html

Described by source

• CVPP: a tool set for compositional verification of control-flow safety properties

Cited in

(10)

• Inapproximability Results for Computational Problems on Lattices
• Sawja
• ProMoVer
• MAVEN
• Moped
• The inapproximability of lattice and coding problems with preprocessing
• Mathematical modeling of age specific marital fertility rates in urban area of Bangladesh
• Mathematical modeling of age specific fertility rates and study the reproductivity in the rural area of Bangladesh during 1980-1998
• From safety critical Java programs to timed process models
• ProMoVer: modular verification of temporal safety properties

This page was built for software: CVPP