Model Checking Software

DOI10.1007/B96721MaRDI QIDQ5308366zbMATH OpenOpenAlexFDO

Authors Peter C. Dillinger, Panagiotis Manolios

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

Mathematics Subject Classification ID

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

Recommendations

• Validation of Stochastic Systems
• Formal Methods in Computer-Aided Design
• scientific article; zbMATH DE number 1069493
• Dynamic incremental hashing in program model checking
• Model Checking Software

Cited in

(6)

• Less hashing, same performance: Building a better Bloom filter
• scientific article; zbMATH DE number 1979552 (Why is no real title available?)
• Model Checking Software
• Dynamic incremental hashing in program model checking
• Validation of Stochastic Systems
• Formal Methods in Computer-Aided Design

Describes a project that uses

Uses Software

• SPIN

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 Q5308366)