Author:
Balarin Felice,Sangiovanni-Vincentelli Alberto L.
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. S. Bensalem, A. Boujjani, C. Loiseaux, and J. Sifakis. Property preserving simulations. In Proceeding of the Fourth Workshop on Computer-Aided Verification (CAV '92), June 1992.
2. J. R. Burch, Edmund M. Clarke, K. L. McMillan, and David L. Dill. Sequential circuit verification using symbolic model checking. In Proceedings of the 27th ACM/IEEE Design Automation Conference, 1990.
3. Edmund M. Clarke, Orna Grumberg, and David E. Long. Model checking and abstraction. In Proc. Principles of Programming Languages, January 1992.
4. Z. Har'El and R. P. Kurshan. Software for analysis of coordination. In Proceedings of the International Conference on System Science, pages 382–385, 1988.
5. Ramin Hojati, Herve Touati, R. P. Kurshan, and Robert K. Brayton. Efficient ω- regular language containment. In Proceeding of the Fourth Workshop on Computer-Aided Verification (CAV '92), June 1992.
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polynomial reachability witnesses via Stellensätze;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
2. Verifying large modular systems using iterative abstraction refinement;Reliability Engineering & System Safety;2015-07
3. The software model checker Blast;International Journal on Software Tools for Technology Transfer;2007-09-13
4. Compositional SCC Analysis for Language Emptiness;Formal Methods in System Design;2006-01
5. Proof-guided underapproximation-widening for multi-process systems;ACM SIGPLAN Notices;2005-01-12