Dynamic incremental hashing in program model checking

MaRDI QIDQ2852026zbMATH OpenFDO

Authors Tilman Mehler, Stefan Edelkamp

Publication date 7 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106000697

Mathematics Subject Classification ID

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

Recommendations

• Model Checking Software
• Model Checking Software
• Validation of Stochastic Systems
• scientific article; zbMATH DE number 1744960
• On partial state matching

Cited in

(2)

• Model Checking Software
• Model Checking Software

Describes a project that uses

Uses Software

• Java PathFinder
• GDB

This page was built for publication: Dynamic incremental hashing in program model checking

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