Minimal model generation-Reference-Cited by-同舟云学术

Minimal model generation

Published: Issue: Volume: Page:197-203
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bouajjani A.,Fernandez J-C.,Halbwachs N.

Publisher

Springer-Verlag

Link

http://www.springerlink.com/index/pdf/10.1007/BFb0023733

Reference11 articles.

1. A. Aho, R. Sethi, J. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986.

2. G. Berry and G. Gonthier. The synchronous programming language Esterel, design, semantics, implementation. Tech. Report 327, INRIA, 1985. To appear in Science of Computer Programming.

3. R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8), 1986.

4. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, J. Hwang. Symbolic Model Checking: 1020 states and beyond. Technical Report, Carnegie Mellon University, 1989.

5. P. Caspi, D. Pilaud, N. Halbwachs, J. Plaice. Lustre: a declarative language for programming synchronous systems. In 14th POPL, january 1987.

Cited by 40 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bisimulation Learning;Lecture Notes in Computer Science;2024

2. Leapfrog: certified equivalence for protocol parsers;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

3. Equivalence Checking 40 Years After: A Review of Bisimulation Tools;Lecture Notes in Computer Science;2022

4. Simulation Relations and Applications in Formal Methods;Lecture Notes in Computer Science;2022

5. Model Finding for Exploration;Protocols, Strands, and Logic;2021