Computer Aided Verification
From MaRDI portal
Publication:5716595
DOI10.1007/b138445zbMath1081.68612MaRDI QIDQ5716595
Sagar Chaki, Edmund M. Clarke, Prasanna Thati, Nishant Sinha
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b138445
68Q32: Computational learning theory
68Q45: Formal languages and automata
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Three optimizations for assume-guarantee reasoning with \(L^{*}\), Verification of evolving software via component substitutability analysis, Local proofs for global safety properties, Learning to verify branching time properties, The Birth of Model Checking, Automated Assume-Guarantee Reasoning by Abstraction Refinement, Learning Meets Verification
Uses Software