Tools and Algorithms for the Construction and Analysis of Systems

DOI10.1007/11691372zbMath1180.68111OpenAlexW2739785336MaRDI QIDQ5899058

Hélène Collavizza, Michel Rueher

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11691372

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Optimal length cutting plane refutations of integer programs ⋮ CPBPV: a constraint-programming framework for bounded program verification

Uses Software

• FocusCheck
• DiVer
• Chaff
• SatAbs

This page was built for publication: Tools and Algorithms for the Construction and Analysis of Systems