FocusCheck: A tool for model checking and debugging sequential C programs

DOI10.1007/978-3-540-31980-1_39MaRDI QIDQ5703790zbMATH OpenOpenAlexFDO

Authors Curtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka

Publication date 10 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107194

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Tools and Algorithms for the Construction and Analysis of Systems
• SDLcheck: A model checking tool
• Zing: A model checker for concurrent software
• Debugging of concurrent systems using counterexample analysis
• A framework for counterexample generation and exploration

Cited in

(5)

• FocusCheck
• Debugging via run-time type checking
• Understanding counterexamples for relational properties with \textit{DIbugger}
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification

Describes a project that uses

Uses Software

• Oz

This page was built for publication: FocusCheck: A tool for model checking and debugging sequential C programs

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