Sciweavers

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

115

Voted

FASE
2003
Springer

96views Software Engineering» more FASE 2003»

Model Checking Software via Abstraction of Loop Transitions

15 years 8 months ago

Model Checking Software via Abstraction of Loop Transitions

Download www.cs.cmu.edu

Natasha Sharygina, James C. Browne

Real-time Traffic

FASE 2003 | Software Engineering |

claim paper

Related Content

» Software model checking via largeblock encoding

» Partial model checking via abstract interpretation

» Transition predicate abstraction and fair termination

» Model Checking Safety Properties of ServoLoop Control Systems

» Hector Software Model Checking with Cooperating Analysis Plugins

» Systematic Acceleration in Regular Model Checking

» Automatic Creation of Environment Models via Training

» Bounded Model Checking of Multithreaded Software using SMT solvers

» Leveraging Interpolant Strength in Model Checking

Post Info
More Details (n/a)

Added	06 Jul 2010
Updated	06 Jul 2010
Type	Conference
Year	2003
Where	FASE
Authors	Natasha Sharygina, James C. Browne

Comments (0)