Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5899058
DOI10.1007/11691372zbMath1180.68111MaRDI 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
68Q60: Specification and verification (program logics, model checking, etc.)
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Optimal length cutting plane refutations of integer programs, CPBPV: a constraint-programming framework for bounded program verification
Uses Software