Minimal state graph generation

DOI10.1016/0167-6423(92)90018-7zbMath0769.68090OpenAlexW2016079448MaRDI QIDQ1193742

S. Singh

Publication date: 27 September 1992

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(92)90018-7

zbMATH Keywords

control synthesisprogram verificationminimal state graph

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Essential transitions to bisimulation equivalences ⋮ Equivalence notions and model minimization in Markov decision processes ⋮ Reduced models for efficient CCS verification

This page was built for publication: Minimal state graph generation