Verification of scheduling in the presence of loops using uninterpreted symbolic simulation

Author(s):  
P. Ashar ◽  
A. Raghunathan ◽  
A. Gupta ◽  
S. Bhattacharya
Keyword(s):  
2003 ◽  
Author(s):  
Pankaj Chauhan ◽  
Daniel Kroening ◽  
Edmund Clarke
Keyword(s):  

2013 ◽  
Vol 122 ◽  
pp. 23-37
Author(s):  
Salim Ismail Al-Akhras ◽  
Sofiène Tahar ◽  
Gabriela Nicolescu ◽  
Michel Langevin ◽  
Pierre Paulin
Keyword(s):  

2021 ◽  
pp. 257-275
Author(s):  
Rebecca Haehn ◽  
Erika Ábrahám ◽  
Nils Nießen
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document