Author:
Alur Rajeev,McMillan Ken,Peled Doron
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference22 articles.
1. R. Alur, K. McMillan, and D. Peled, ?model-checking of correctness conditions for concurrent objects,? in LICS96, 11th IEEE Symposium on Logic in Computer Science, New Brunswick, NJ, USA, 1996, pp. 219?228.
2. R. Alur, W. Penczek, and D. Peled, ?Model-checking of causality properties,? in 10th Symposium on Logic in Computer Science, 1995, pp. 90?100.
3. W. Ebinger, ?Logical definability of trace languages,? in V. Diekert and G. Rozenberg (Eds.), The Book of Traces, World Scientific, 1995, pp. 382?390.
4. P. Godefroid and P. Wolper, ?A partial approach to model checking,? Information and Computation, Vol. 110, No. 2, pp. 305?326, 1994.
5. G. Holzmann and D. Peled, ?The state of SPIN,? in 8th Conference on Computer-Aided Verification, Lecture Notes in Computer Science, Vol. 1102, 1996, pp. 385?389.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. EPTL - A Temporal Logic for Weakly Consistent Systems (Short Paper);Formal Techniques for Distributed Objects, Components, and Systems;2017
2. Modal Logic over Higher Dimensional Automata;CONCUR 2010 - Concurrency Theory;2010