Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

PADL
2007
Springer

favoriteEmaildiscussreport

156views Programming Languages» more PADL 2007»

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

13 years 10 months ago

ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement

Download www7.in.tum.de

Andreas Podelski, Andrey Rybalchenko

Real-time Traffic

PADL 2007 | Programming Languages |

claim paper

Related Content

» Tests Proofs and Refinements

» Preference and Nondeterministic Choice

» Nested interpolants

» SYNERGY a new algorithm for property checking

» Lazy Shape Analysis

» Model Checking Real Time Java Using Java PathFinder

» Dependent Types from Counterexamples

Post Info
More Details (n/a)

Added	08 Jun 2010
Updated	08 Jun 2010
Type	Conference
Year	2007
Where	PADL
Authors	Andreas Podelski, Andrey Rybalchenko

Comments (0)