Towards Verification Modulo Theories of Asynchronous Systems via Abstraction Refinement.

Gianluca Redondi, Alessandro Cimatti, Alberto Griggio

Browse the full FMCAD paper archive.