Sciweavers

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

29

Voted

DT
2007

favoriteEmaildiscussreport

98views more DT 2007»

Combining Theorem Proving with Model Checking through Predicate Abstraction

13 years 11 months ago

Combining Theorem Proving with Model Checking through Predicate Abstraction

Download www.cs.utexas.edu

Sandip Ray, Rob Sumners

Real-time Traffic

DT 2007 |

claim paper

Related Content

» LiftedFL A Pragmatic Implementation of Combined Model Checking and Theorem Proving

» Lazy Theorem Proving for Bounded Model Checking over Infinite Domains

» Predicate Diagrams for the Verification of RealTime Systems

» Formal Analysis of a SelfStabilizing Algorithm Using Predicate Diagrams

» Check n crash combining static checking and testing

» Probabilistic Model Checking Modulo Theories

» An Evidential Tool Bus

» A Simple Method for Parameterized Verification of Cache Coherence Protocols

» The Semantics of Verilog Using Transition System Combinators

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	DT
Authors	Sandip Ray, Rob Sumners

Comments (0)