A theory of consistency for modular synchronous systems

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

Volumn 1954, Issue , 2000, Pages 486-504

  Bryant, Randal E ^a   Chauhan, Pankaj ^a   Clarke, Edmund M ^a   Goel, Amit ^b  

^a Carnegie Mellon University ^*  (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; SPECIFICATIONS;

BUS PROTOCOL; CONSISTENCY CHECKING; KRIPKE STRUCTURE; MODULAR SPECIFICATIONS; SYNCHRONOUS SYSTEM;

FORMAL METHODS;

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

References (15)

1. R. Alur and T.A. Henzinger. "Reactive modules." In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, pp. 207-218. 1996.
2. G. Berry, G. Gonthier. "The synchronous programming language Esterel: Design, semantics, implementation." Technical Report 842, INRIA. 1988.
3. R. E. Bryant. "Graph-based algorithms for boolean function manipulation." IEEE Transactions on Computers, C-35(8), pp. 677-691. 1986.
4. P. Chauhan, E. Clarke, Y. Lu, D. Wang. "Verifying IP-Core based System-On-Chip designs." In Proceedings of the IEEE ASIC/SOC Conference, pp. 27-31. 1999.
5. E.Clarke, O. Grumberg. H. Hamaguchi. "Another look at LTL model checking." Formal Methods in System Design, 10, pp. 47-71. 1997.
6. E. Clarke, O. Grumberg, D. Peled. Model Checking. MIT Press. 1999.
7. E. Clarke, Y. Lu, H. Veith, D. Wang, S. German. "Executable Protocol Specification in ESL." Formal Methods in Computer-Aided Design (FMCAD'00). 2000.
8. D.L. Dill. Trace theory for automatic hierarchical verification of speed-independent circuits. ACM Distinguished Dissertations. MIT Press, 1989.
9. A. Goel, W. R. Lee. "Formal Verification of an IBM CoreConnect Processor Local Bus Arbiter Core." 37th ACM/IEEE Design Automation Conference. 2000.
10. D. E. Long. "Model Checking, Abstraction and Compositional Reasoning." PhD Thesis, Carnegie Mellon University, 1993.
11. Milner, Tofte, Harper, MacQueen. The Definition of Standard ML. MIT Press, 1997.
12. K. Shimizu, D. L. Dill, A. J. Hu. "Monitor-Based Formal Specification." Formal Methods in Computer Aided Design (FMCAD'00). 2000.
13. K. F. Larsen, J. Lichtenberg. MuDDy. Version 1.7. http://www.itu.dk/research/muddy.
14. J. L. Nielsen. BuDDy-A Binary Decision Diagram Package. Version 1.7. http://www.itu.dk/research/buddy.
15. S. Romanenko, P Sestoft. Moscow ML. Version 1.44. http://www.dina.dk/~sestoft/mosml.html.