XMC: A logic-programming-based verification toolset

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1855, Issue , 2000, Pages 576-580

  Ramakrishnan, C R ^a   Ramakrishnan, I V ^a   Smolka, Scott A ^a   Dong, Yifei ^a   Du, Xiaoqun ^a   Roychoudhury, Abhik ^a   Venkatakrishnan, V N ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84944401730     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722167_48     Document Type: Conference Paper

References (15)

1. O. Agesen, D. Detlefs, A. Garthwaite, R. Knippel, Y. S. Ramakrishna, and D. White. An efficient meta-lock for implementing ubiquitous synchronization. In Proc. of OOPSLA '99, 1999.
2. R. Alur and T. A. Henzinger, editors. Computer Aided Verification (CAV '96), volume 1102 of LNCS. Springer Verlag, 1996.
3. S. Basu, S. A. Smolka, and O. R. Ward. Model checking the Java Meta- Locking algorithm. In Proc. of 7th IEEE Intl. Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2000), 2000.
4. E. M. Clarke, E. A. Emerson, and A. P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM TOPLAS, 8(2), 1986.
5. T. Chiueh and C. Venkatramani. The design, implementation and evaluation of a software-based real-time ethernet protocol. In Proc. of ACM SIGCPMM'95, pages 27-37, 1995.
6. D. L. Dill. The Mur' verification system. In Alur and Henzinger [AH96], pages 390-393.
7. Y. Dong and C. R. Ramakrishnan. An optimizing compiler for efficient model checking. In Proc. of FORTE/PSTV '99, 1999.
8. X. Du, C. R. Ramakrishnan, and S. A. Smolka.: Tabled resolution + constraints: A recipe for model checking real-time systems. Technical report, Dept. of Computer Science, SUNY, Stony Brook, 1999. URL: http://www.cs.sunysb.edu/_cram/papers/manuscripts/rtlmc.
9. G. J. Holzmann and D. Peled. The state of SPIN. In Alur and Henzinger [AH96], pages 385-389.
10. D. Kozen. Results on the propositional -calculus. Theoretical Computer Science, 27:333-354, 1983.
11. R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
12. A. Roychoudhury, K. Narayan Kumar, C.R. Ramakrishnan, I.V. Ramakrishnan, and S.A. Smolka. Verification of parameterized systems using logic-program transformations. In Proc. of TACAS 2000. Springer Verlag, 2000.
13. Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, S. A. Smolka, T. W. Swift, and D. S. Warren. Efficient model checking using tabled resolution. In Proc. of CAV'97, 1997. SET Secure Electronic Transaction LLC. The SET Standard Specification, May 1997. URL: http://www.setco.org/set specifications.html.
14. P. Wolper. Expressing interesting properties of programs in propositional temporal logic. In ACM POPL, pages 184-192, 1986.
15. The XSB Group. The XSB logic programming system v2.1, 1999. Available from http://www.cs.sunysb.edu/_sbprolog.