CVPP

swMATH179MaRDI QIDQ12946FDOQ12946

Author name not available (Why is that?)

Described by source

• CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties

Cited In (6)

• From Safety Critical Java Programs to Timed Process Models
• ProMoVer: Modular Verification of Temporal Safety Properties
• Inapproximability Results for Computational Problems on Lattices
• Title not available (Why is that?)
• Title not available (Why is that?)
• The inapproximability of lattice and coding problems with preprocessing

This page was built for software: CVPP