Design constraints in symbolic model checking

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

Volumn 1427 LNCS, Issue , 1998, Pages 477-487

  Kaufmann, Matt ^a   Martin, Andrew ^a   Pixley, Carl ^a  

^a MOTOROLA INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN CONSTRAINTS; ENVIRONMENTAL CONSTRAINTS; ERROR PRONES; EXPLICIT CONSTRUCTIONS; POWERPC; SYMBOLIC MODEL CHECKING;

COMPUTER AIDED ANALYSIS;

MODEL CHECKING;

EID: 84863938564     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (3)

1. E.M. Clarke and E.A. Emerson, Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic, Proceedings of the Workshop on Logics of Programs, York town Heights, NY, Springer-Verlag LNCS no. 131, pp. 52-71, May 1981.
2. D.E. Long, "Model Checking, Abstraction, and Compositional Verification," School of Computer Science, Carnegie Mellon University publication CMU-CS-93-178, July 1993.
3. K. L. McMillan, "A Compositional Rule for Hardware Design Refinement," Orna Grunberg (Ed.) Computer Aided Verification, Proceedings of the 9th International Conference, Haifa, Israel, Springer-Verlag LNCS no. 1254, pp. 24 - 35, June 1997. (Pubitemid 127088962)