CAV 2003 - PDF Preprint Papers

CAV 2003 International Workshop on Computer Aided Verification

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CAV-2003 Paper

click to vote

CAV
2003
Springer

188views Hardware» more CAV 2003»

Thread-Modular Abstraction Refinement

14 years 3 months ago

Download mtc.epfl.ch

odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....

Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	188	Thread-Modular Abstraction Refinement	claim
2	166	Bridging the Gap between Fair Simulation and Trace Inclusion	claim
3	160	Fast Mu-Calculus Model Checking when Tree-Width Is Bounded	claim
4	156	Abstraction and BDDs Complement SAT-Based BMC in DiVer	claim
5	155	An Improved On-The-Fly Tableau Construction for a Real-Time Temporal Logic	claim
6	154	Structural Symbolic CTL Model Checking of Asynchronous Systems	claim
7	153	Interpolation and SAT-Based Model Checking	claim
8	145	Monitoring Temporal Rules Combined with Time Series	claim
9	140	TLQSolver: A Temporal Logic Query Checker	claim
10	140	Certifying Optimality of State Estimation Programs	claim
11	140	Rabbit: A Tool for BDD-Based Verification of Real-Time Systems	claim
12	127	Dense Counter Machines and Verification Problems	claim
13	125	A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement	claim
14	124	Evidence Explorer: A Tool for Exploring Model-Checking Proofs	claim
15	122	Timed Control with Partial Observability	claim
16	121	Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods	claim
17	120	Hybrid Acceleration Using Real Vector Automata (Extended Abstract)	claim
18	116	Reasoning with Temporal Logic on Truncated Paths	claim
19	108	Linear Invariant Generation Using Non-linear Constraint Solving	claim
20	107	Theorem Proving Using Lazy Proof Explication	claim
21	106	Enhanced Vacuity Detection in Linear Temporal Logic	claim
22	106	Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates	claim
23	97	Iterating Transducers in the Large (Extended Abstract)	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers