CAVA

swMATH28570MaRDI QIDQ40284FDOQ40284

Author name not available (Why is that?)

Cited In (2)

• Formal verification of an executable LTL model checker with partial order reduction
• Automatic refinement to efficient data structures: a comparison of two approaches

This page was built for software: CAVA