Validation of Stochastic Systems

DOI10.1007/B98484zbMATH Open1203.68100OpenAlexW657718082MaRDI QIDQ5325842FDOQ5325842

Kai Lampka, Matthias Kuntz

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

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

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)

Cited In (3)

• Model Checking Software
• A probabilistic dynamic technique for the distributed generation of very large state spaces
• The ComBack Method – Extending Hash Compaction with Backtracking

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)