Formula-dependent equivalence for compositional CTL model checking

DOI10.1023/A:1016043502772zbMath1019.68064OpenAlexW1520559746WikidataQ57380746 ScholiaQ57380746MaRDI QIDQ698104

Adnan Aziz, Vigyan Singhal, Alberto L. Sangiovanni-Vincentelli, Robert K. Brayton, Thomas R. Shiple

Publication date: 18 September 2002

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1016043502772

zbMATH Keywords

bisimulationcompositional minimizationCTL model checking

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Reduced models for efficient CCS verification

This page was built for publication: Formula-dependent equivalence for compositional CTL model checking