Thread-Modular Counterexample-Guided Abstraction Refinement

13 years 10 months ago

ion Refinement Alexander Malkis1 , Andreas Podelski2 , and Andrey Rybalchenko3 1 IMDEA Software 2 University of Freiburg 3 TU M

Alexander Malkis, Andreas Podelski, Andrey Rybalch

Counterexamplebstraction Refinement Algorithm | Formal Methods | Ion Refinement Alexander | SAS 2010 | Thread-modular Verification |

claim paper

Added	14 Feb 2011
Updated	14 Feb 2011
Type	Journal
Year	2010
Where	SAS
Authors	Alexander Malkis, Andreas Podelski, Andrey Rybalchenko

Comments (0)