Author:
Grumberg Orna,Heyman Tamir,Ifergan Nili,Schuster Assaf
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Lecture Notes in Computer Science;J. Barnat,2001
2. Lecture Notes in Computer Science;I. Beer,1998
3. Electronic Notes in Theoretical Computer Science;A. Biere,2002
4. Advances in Computers;A. Biere,2003
5. Braberman, V.A., Olivero, A., Schapachnik, F.: Issues in distributed timed model checking: Building Zeus. STTT 7(1), 4–18 (2005)
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Input splitting for cloud-based static application security testing platforms;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
2. Enhanced Reliability Using Formal Techniques;Design for Testability, Debug and Reliability;2021
3. Pipelining bottom-up data flow analysis;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
4. Violation Resolution in Distributed Stream Networks;Communications in Computer and Information Science;2018
5. Distributed binary decision diagrams for symbolic reachability;Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software;2017-07-13