Verifying Concurrent message-Passing C programs with Recursive Calls.

Sagar Chaki (1) , Edmund Clarke (1) , Nicholas Kidd (2) , Tom Reps (2) , Tayssir Touili (3)

1 Computer Science Department - Carnegie Mellon University
2 University of Wisconsin-Madison
3 LIAFA - Laboratoire d'informatique Algorithmique : Fondements et Applications

Domaines: Informatique et langage [cs.CL]

Sagar Chaki, Edmund Clarke, Nicholas Kidd, Tom Reps, Tayssir Touili. Verifying Concurrent message-Passing C programs with Recursive Calls.. 2006, pp.334-349. ⟨hal-00161100⟩