Model Checking Software
From MaRDI portal
Publication:5394555
DOI10.1007/11537328zbMath1151.68367OpenAlexW2492029314MaRDI QIDQ5394555
Byron Cook, Natasha Sharygina, Daniel Kroening
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11537328
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Verification of SpecC using predicate abstraction, Context-aware counter abstraction, A model checking-based approach for security policy verification of mobile systems, Verification of Boolean programs with unbounded thread creation, Verification and falsification of programs with loops using predicate abstraction
Uses Software