Bisimulation and model checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1703, Issue , 1999, Pages 338-342

  Fisler, Kathi ^a   Vardi, Moshe Y ^a  

^a Rice University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN; HARDWARE; RECONFIGURABLE HARDWARE;

BISIMULATIONS; COMPUTATIONAL RESOURCES; INVARIANT PROPERTIES; MINIMIZATION ALGORITHMS; MODEL CHECKER; ON THE FLIES; STATE EXPLOSION; VERIFICATION TOOLS;

MODEL CHECKING;

EID: 84958624280     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48153-2_29     Document Type: Conference Paper

References (8)

1. Bouajjani, A., J.-C. Fernandez and N. Halbwachs. Minimal model generation. In Proc. Intl. Conference on Computer-Aided Verification (CAV), pages 197–203. Springer-Verlag, 1990.
2. Fisler, K. and M. Y. Vardi. Bisimulation minimization in an automata-theoretic verification framework. In Proc. Intl. Conference on Formal Methods in Computer- Aided Design (FMCAD), pages 115–132. Springer-Verlag, 1998.
3. Fisler, K. and M. Y. Vardi. Bisimulation and model checking (extended version). Technical report TR99-339, Rice University, Department of Computer Science, 1999. Available at http://www.cs.rice.edu/CS/Verification/.
4. Hennessy, M. and R. Milner. Algebraic laws for nondeterminism and concurrency. Journal of ACM, 32:137–161, 1985.
5. Lee, D. and M. Yannakakis. Online minimization of transition systems. In Proc. 24th ACM Symposium on Theory of Computing, pages 264–274, Victoria, May 1992.
6. Milner, R. A Calculus of Communicating Systems. Springer Verlag, Berlin, 1980.
7. Paige, R. and R. Tarjan. Three partition refinement algorithms. SIAM Journal on Computing, 16:973–989, 1987.
8. The VIS Group. VIS: A system for verification and synthesis. In Proc. of the 8th Intl. Conference on Computer Aided Verification (CAV), pages 428–432. Springer Verlag, July 1996.