Author:
Iosif Radu,Dwyer Matthew B.,Hatcliff John
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference55 articles.
1. R. Alur, R. Grosu, and M. McDougall, “Efficient reachability analysis of hierarchical reactive machines,” in Proceedings 12th International Conference on Computer Aided Verification, 2000.
2. E. Ashcroft and Z. Manna, “Formalization of properties of parallel programs,” Machine Intelligence, pp. 17–41, 1972.
3. George S. Avrunin, James C. Corbett, and Matthew B. Dwyer, “Benchmarking finite-state verifiers,” International Journal on Software Tools for Technology Transfer, Vol. 2, No. 4, pp. 317–320, 2000.
4. T. Ball and S. Rajamani, “Bebop: A symbolic model-checker for boolean programs,” in K. Havelund, John Penix, and Willem Visser (Eds.), Proceedings of Seventh International SPIN Workshop, volume 1885 of Lecture Notes in Computer Science, Springer-Verlag, 2000, pp. 113–130.
5. Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech, Cesar Mu noz, Sam Owre, Harald Rueß, John Rushby, Vlad Rusu, Hassen Saïdi, N. Shankar, Eli Singerman, and Ashish Tiwari, “An overview of SAL,” in Proceedings of the Fifth Langley Formal Methods Workshop, June 2000.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes;ACM Transactions on Privacy and Security;2017-05-28
2. The hidden models of model checking;Software & Systems Modeling;2012-08-24
3. Analyzing Medical Processes;Engineering of Software;2011
4. Research of flexographic printing dot measurement instrument based on adaptive background method;2008 9th International Conference on Computer-Aided Industrial Design and Conceptual Design;2008-11
5. Analysis of a Session-Layer Protocol in mCRL2;Formal Methods for Industrial Critical Systems;2008