TACAS 2004 - PDF Preprint Papers

TACAS 2004 Int. Workshop/Conference on Tools and Algorithms for the Construction and Analysis of Systems

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed TACAS-2004 Paper

click to vote

TACAS
2004
Springer

139views Algorithms» more TACAS 2004»

Error Explanation with Distance Metrics

13 years 10 months ago

Download www.kroening.com

Abstract In the event that a system does not satisfy a speciﬁcation, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...

Alex Groce

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	139	Error Explanation with Distance Metrics	claim
2	135	Liveness with Incomprehensible Ranking	claim
3	132	Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study	claim
4	130	Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases	claim
5	127	MetaGame: An Animation Tool for Model-Checking Games	claim
6	122	A Scalable Incomplete Test for the Boundedness of UML RT Models	claim
7	114	CoPS - Checker of Persistent Security	claim
8	114	Symbolically Computing Most-Precise Abstract Operations for Shape Analysis	claim
9	111	Automatic Creation of Environment Models via Training	claim
10	110	An Interpolating Theorem Prover	claim
11	108	Model Checking Discounted Temporal Properties	claim
12	108	The Succinct Solver Suite	claim
13	107	Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata	claim
14	97	Resource-Optimal Scheduling Using Priced Timed Automata	claim
15	94	A Tool for Checking ANSI-C Programs	claim
16	94	Numeric Domains with Summarized Dimensions	claim
17	90	FASTer Acceleration of Counter Automata in Practice	claim
18	85	Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder	claim
19	62	Lower and Upper Bounds in Zone Based Abstractions of Timed Automata	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers