Symbolic verification with periodic sets-Reference-Cited by-同舟云学术

Symbolic verification with periodic sets

Published:1994 Issue: Volume: Page:55-67
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Boigelot Bernard,Wolper Pierre

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-58179-0_43.pdf

Reference30 articles.

1. R. Alur, C. Courcoubetis, and D. Dill. Model-checking in dense real-time. Information and Computation, 104(1):2–34, May 1993.

2. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and L.J. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the 5th Symposium on Logic in Computer Science, pages 428–439, Philadelphia, June 1990.

3. Randal E. Bryant. Symbolic boolean manipulation with ordered binarydecision diagrams. ACM Computing Surveys, 24(3):293–318, 1992.

4. P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proc. 5th ACM Symposium on Principles of Programming Langages, 1978.

5. O. Coudert, J. C. Madre, and C. Berthet. Verifying temporal properties of sequential machines without building their state diagram. In Proc. 2nd Workshop on Computer Aided Verification, volume 531 of Lecture Notes in Computer Science, pages 23–32, Rutgers, June 1990. Springer-Verlag.

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

1. Warping cache simulation of polyhedral programs;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

2. Algebraic Program Analysis;Computer Aided Verification;2021

3. Flat Petri Nets (Invited Talk);Application and Theory of Petri Nets and Concurrency;2021

4. Regular Model Checking: Evolution and Perspectives;Model Checking, Synthesis, and Learning;2021

5. Non-linear reasoning for invariant synthesis;Proceedings of the ACM on Programming Languages;2018-01