Model Checking Software
From MaRDI portal
Publication:5308375
DOI10.1007/b96721zbMath1125.68367MaRDI QIDQ5308375
Willem Visser, Corina S. Păsăreanu
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96721
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Loop invariants, Symbolic execution of Reo circuits using constraint automata, A generic framework for symbolic execution: a coinductive approach, CPBPV: a constraint-programming framework for bounded program verification, Symbolic execution based on language transformation, A local approach for temporal model checking of Java bytecode, Loop Invariant Symbolic Execution for Parallel Programs, When Is a Formula a Loop Invariant?, Interleaving Symbolic Execution and Partial Evaluation, Inferring Loop Invariants Using Postconditions
Uses Software