On undecidability results of real programming languages
暂无分享,去创建一个
[1] Raimund Kirner,et al. Cross-Platform Verification Framework for Embedded Systems , 2007, SEUS.
[2] Jan Obdržálek,et al. Model Checking Java Using Pushdown Systems , 2002 .
[3] Stefan Schwoon,et al. Model checking pushdown systems , 2002 .
[4] Felix Berger,et al. A test and verification environment for Java programs , 2006 .
[5] William Landi,et al. Undecidability of static analysis , 1992, LOPL.
[6] Anna Philippou,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.
[7] Javier Esparza,et al. Model-Checking LTL with Regular Valuations for Pushdown Systems , 2001, TACS.
[8] Sriram K. Rajamani,et al. Bebop: A Symbolic Model Checker for Boolean Programs , 2000, SPIN.
[9] G. Ramalingam,et al. The undecidability of aliasing , 1994, TOPL.
[10] Javier Esparza,et al. jMoped: A Java Bytecode Checker Based on Moped , 2005, TACAS.
[11] Javier Esparza,et al. Reachability Analysis of Pushdown Automata: Application to Model-Checking , 1997, CONCUR.
[12] Jeffrey D. Ullman,et al. Introduction to Automata Theory, Languages and Computation , 1979 .
[13] Klaus Havelund,et al. Model Checking Programs , 2004, Automated Software Engineering.
[14] Brian W. Kernighan,et al. The C Programming Language , 1978 .
[15] Thomas A. Henzinger,et al. Software Verification with BLAST , 2003, SPIN.
[16] Jakob Engblom,et al. The worst-case execution-time problem—overview of methods and survey of tools , 2008, TECS.
[17] Raimund Kirner,et al. Obstacles in Worst-Case Execution Time Analysis , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).
[18] Giuseppe De Giacomo. History of Programming Languages , 2006 .
[19] Chao Wang,et al. Model checking C programs using F-Soft , 2005, 2005 International Conference on Computer Design.
[20] Javier Esparza,et al. A BDD-Based Model Checker for Recursive Programs , 2001, CAV.
[21] Jeffrey D. Ullman,et al. Introduction to automata theory, languages, and computation, 2nd edition , 2001, SIGA.
[22] A. Tiemeyer,et al. Lazy symbolic model checking , 2000, Proceedings 37th Design Automation Conference.
[23] Shin Nakajima,et al. The SPIN Model Checker : Primer and Reference Manual , 2004 .
[24] Dennis M. Ritchie. The development of the C programming language , 1996 .
[25] Javier Esparza,et al. Efficient Algorithms for Model Checking Pushdown Systems , 2000, CAV.
[26] Igor Walukiewicz. Model Checking CTL Properties of Pushdown Systems , 2000, FSTTCS.