Model Checking Software

DOI10.1007/11691617zbMATH Open1178.68147OpenAlexW2480617525MaRDI QIDQ5899042FDOQ5899042

Authors: Saswat Anand, Willem Visser, Corina S. Păsăreanu 

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/11691617

Recommendations

• Programming Languages and Systems
• Symbolic execution: A semantic approach
• scientific article; zbMATH DE number 4024753
• scientific article; zbMATH DE number 1956607

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (5)

• Exact heap summaries for symbolic execution
• Title not available (Why is that?)
• Compact symbolic execution
• Checking array bounds by abstract interpretation and symbolic expressions
• A generic framework for symbolic execution: a coinductive approach

Uses Software

• CUTE
• Symstra
• BLAST
• SLAM
• DART

This page was built for publication: Model Checking Software

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899042)