Author:
Clarke E.,McMillan K.,Campos S.,Hartonas-Garmhausen V.
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8), 1986.
2. J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and J. Hwang. Symbolic model checking: 1020 states and beyond. In Symposium on Logic in Computer Science, 1990.
3. S. Campos, E. Clarke, W. Marrero, and M. Minea. Verifying the performance of the PCI local bus using symbolic techniques. In International Conference on Computer Design, 1995.
4. S. V. Campos, E. M. Clarke, W. Marrero, and M. Minea. Timing analysis of industrial realtime systems. In Workshop on Industrial-strength Formal specification Techniques, 1995.
5. S. V. Campos, E. M. Clarke, W. Marrero, M. Minea, and H. Hiraishi. Computing quantitative characteristics of finite-state real-time systems. In IEEE Real-Time Systems Symposium, 1994.
Cited by
39 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Simplification Method of CPN Model Based on Data Abstraction;2024 27th International Conference on Computer Supported Cooperative Work in Design (CSCWD);2024-05-08
2. Discrete-time Markov decision process for performance analysis of virtual machine allocation schemes in C-RAN;Journal of Network and Computer Applications;2024-05
3. Using On-The-Fly Model Checking to improve Constraint Programming for Dynamic Problems;2023 IEEE 35th International Conference on Tools with Artificial Intelligence (ICTAI);2023-11-06
4. Automatic Inductive Invariant Generation for Scalable Dataflow Circuit Verification;2023 IEEE/ACM International Conference on Computer Aided Design (ICCAD);2023-10-28
5. Towards Quantum Requirements Engineering;2023 IEEE 31st International Requirements Engineering Conference Workshops (REW);2023-09