Author:
Callanan Sean,Grosu Radu,Rai Abhishek,Smolka Scott A.,True Mike R.,Zadok Erez
Subject
General Computer Science,Theoretical Computer Science
Reference17 articles.
1. Ball, T. and S.K. Rajamani, The SLAM toolkit, in: CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification (2001), pp. 260–264
2. Bernstein, A. and J.P.K. Harter, Proving real-time properties of programs with temporal logic, in: SOSP '81: Proceedings of the eighth ACM symposium on Operating systems principles (1981), pp. 1–11
3. Bodden, E., A lightweight LTL runtime verification tool for Java, in: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications (2004), pp. 306–307
4. A Retargetable C Compiler: Design and Implementation;Fraser,1995
5. Fighting Livelock in the i-Protocol: A Case Study in Explicit-State Model Checking;Dong;Software Tools for Technology Transfer,2003