Author:
Helke Steffen,Kammüller Florian
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;U. Brockmeyer,1998
2. Cousot, P., Cousot, R.: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction of Approximation of Fixed Points. In: Proceedings of the 4th ACM Symposium on Principles of Programming Languages. ACM, New York (1977)
3. Lecture Notes in Computer Science;E.M. Clarke,1982
4. Clarke, E., Grumberg, O., Jha, S., Lu, Y., Veit, H.: Counterexample-guided Abstraction Refinement. In: Sistla, A.P., Emerson, E.A. (eds.) CAV 2000. LNCS, vol. 1855. Springer, Heidelberg (2000)
5. Day, N.: A model checker for statecharts. Technical Report TR-93-35, Department of Computer Science, University of British Columbia (October 1993)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An industrial application of symbolic model checking;Informatik - Forschung und Entwicklung;2007-11-09