Validation of Stochastic Systems

DOI10.1007/B98484MaRDI QIDQ5325842zbMATH OpenOpenAlexFDO

Authors Matthias Kuntz, Kai Lampka

Publication date 24 July 2009

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

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

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Model Checking Software
• A probabilistic dynamic technique for the distributed generation of very large state spaces
• Formal Methods in Computer-Aided Design
• The ComBack Method – Extending Hash Compaction with Backtracking
• scientific article; zbMATH DE number 1701774

Cited in

(4)

• The ComBack Method – Extending Hash Compaction with Backtracking
• A probabilistic dynamic technique for the distributed generation of very large state spaces
• Dynamic incremental hashing in program model checking
• Model Checking Software

Describes a project that uses

Uses Software

• veriSoft

This page was built for publication: Validation of Stochastic Systems

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