Software model checking
From MaRDI portal
Publication:5228112
DOI10.1145/1592434.1592438OpenAlexW2081840025MaRDI QIDQ5228112
Publication date: 9 August 2019
Published in: ACM Computing Surveys (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1592434.1592438
livenesssafetyabstractionsoftware model checkingcounterexample-guided refinementenumerative and symbolic model checking
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Software Verification with PDR: An Implementation of the State of the Art, Predicate Abstraction for Program Verification, LCTD: test-guided proofs for C programs on LLVM, Computational logic: its origins and applications, Analysis and Transformation of Constrained Horn Clauses for Program Verification, Assumption-based runtime verification, A unifying view on SMT-based software verification, Verification conditions for source-level imperative programs, Active learning for extended finite state machines
