Simulation based minimization

DOI10.1007/10721959_20MaRDI QIDQ2723424zbMATH OpenFDO

Authors Doron Bustan, Orna Grumberg

Publication date 5 July 2001

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

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

zbMATH Keywords

temporal logic model checking

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Simulation-based minimization
• Saving space in a time efficient simulation algorithm
• An efficient simulation algorithm based on abstract interpretation

Cited in

(11)

• Simulation and optimization by quantifier elimination
• Minimisation of \(\mathrm{ATL}^*\) models
• Nested antichains for WS1S
• An efficient algorithm for computing bisimulation equivalence
• Applicability of fair simulation
• A space-efficient simulation algorithm on probabilistic automata
• Program verification with interacting analysis plugins
• Coinduction-based solution for minimization of Kripke structures
• A Space-Efficient Probabilistic Simulation Algorithm
• Simulation-based minimization
• Simulation relations and applications in formal methods

This page was built for publication: Simulation based minimization

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