scholarly journals SMT-Based Model Checking for Recursive Programs

2014 ◽  
pp. 17-34 ◽  
Author(s):  
Anvesh Komuravelli ◽  
Arie Gurfinkel ◽  
Sagar Chaki
Keyword(s):  
Model Checking ◽  
Recursive Programs

scholarly journals SMT-based model checking for recursive programs

2016 ◽  
Vol 48 (3) ◽  
pp. 175-205 ◽  
Author(s):  
Anvesh Komuravelli ◽  
Arie Gurfinkel ◽  
Sagar Chaki
Keyword(s):  
Model Checking ◽  
Recursive Programs

scholarly journals Bounded Model Checking of Recursive Programs with Pointers in K

2013 ◽  
pp. 59-76 ◽  
Author(s):  
Irina Măriuca Asăvoae ◽  
Frank de Boer ◽  
Marcello M. Bonsangue ◽  
Dorel Lucanu ◽  
Jurriaan Rot
Keyword(s):  
Model Checking ◽  
Bounded Model Checking ◽  
Recursive Programs

scholarly journals Temporal logics for concurrent recursive programs: Satisfiability and model checking

2014 ◽  
Vol 12 (4) ◽  
pp. 395-416 ◽  
Author(s):  
Benedikt Bollig ◽  
Aiswarya Cyriac ◽  
Paul Gastin ◽  
Marc Zeitoun
Keyword(s):  
Model Checking ◽  
Temporal Logics ◽  
Recursive Programs

scholarly journals Model checking recursive programs interacting via the heap

2015 ◽  
Vol 100 ◽  
pp. 61-83
Author(s):  
I.M. Asăvoae ◽  
F. de Boer ◽  
M.M. Bonsangue ◽  
D. Lucanu ◽  
J. Rot
Keyword(s):  
Model Checking ◽  
Recursive Programs
Sign in / Sign up

Export Citation Format

Share Document