Sciweavers

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

9

POPL
1992
ACM

favoriteEmaildiscussreport

93views Programming Languages» more POPL 1992»

Model Checking and Abstraction

13 years 8 months ago

Model Checking and Abstraction

Download www.cs.cmu.edu

Edmund M. Clarke, Orna Grumberg, David E. Long

Real-time Traffic

POPL 1992 | Programming Languages |

claim paper

Related Content

» Engineering Abstractions in Model Checking and Testing

» Random Relaxation Abstractions for Bounded Reachability Analysis of Linear Hybrid Automata...

» A Tool for Abstraction in Model Checking

» Model Checking Vs Generalized Model Checking Semantic Minimizations for Temporal Logics

» Model Checking with FormulaDependent Abstract Models

» Abstraction and Model Checking in the PEPA PlugIn for Eclipse

» Partial model checking via abstract interpretation

» Statistical Abstraction and ModelChecking of Large Heterogeneous Systems

» WordLevel Sequential Memory Abstraction for Model Checking

» Probabilistic Abstraction for Model Checking An Approach Based on Property Testing

Post Info
More Details (n/a)

Added	10 Aug 2010
Updated	10 Aug 2010
Type	Conference
Year	1992
Where	POPL
Authors	Edmund M. Clarke, Orna Grumberg, David E. Long

Comments (0)