Tools and Algorithms for the Construction and Analysis of Systems
From MaRDI portal
Publication:5899060
DOI10.1007/11691372zbMath1180.68174OpenAlexW2739785336MaRDI QIDQ5899060
Marsha Chechik, Arie Gurfinkel
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
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Abstraction and Abstraction Refinement, Bonsai: Cutting Models Down to Size, On the consistency, expressiveness, and precision of partial modeling formalisms, Refutation-aware Gentzen-style calculi for propositional until-free linear-time temporal logic, Model Checking Recursive Programs with Exact Predicate Abstraction, Verification of evolving software via component substitutability analysis, Paraconsistent computation tree logic, Falsifying Safety Properties Through Games on Over-approximating Models, Bounded Model Checking for Partial Kripke Structures, A framework for compositional verification of multi-valued systems via abstraction-refinement
Uses Software