CAV 2007 - PDF Preprint Papers

CAV 2007 International Workshop on Computer Aided Verification

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CAV-2007 Paper

click to vote

CAV
2007
Springer

227views Hardware» more CAV 2007»

The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems

14 years 3 months ago

Download www-ti.informatik.uni-tuebingen.de

Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...

Martin Ouimet, Kristina Lundqvist

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	227	The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems	claim
2	212	A Tutorial on Satisfiability Modulo Theories	claim
3	173	Array Abstractions from Proofs	claim
4	166	Fast and Accurate Static Data-Race Detection for Concurrent Programs	claim
5	164	SAT-Based Compositional Verification Using Lazy Learning	claim
6	159	Boolean Abstraction for Temporal Logic Satisfiability	claim
7	157	An Accelerated Algorithm for 3-Color Parity Games with an Application to Timed Games	claim
8	145	Hybrid Systems: From Verification to Falsification	claim
9	134	CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes	claim
10	129	The Why/Krakatoa/Caduceus Platform for Deductive Program Verification	claim
11	129	BAT: The Bit-Level Analysis Tool	claim
12	127	CVC3	claim
13	126	Shape Analysis for Composite Data Structures	claim
14	123	Test Coverage for Continuous and Hybrid Systems	claim
15	122	Parameterized Verification of Infinite-State Processes with Global Conditions	claim
16	121	Low-Level Library Analysis and Summarization	claim
17	121	Algorithms for Interface Synthesis	claim
18	121	Automated Assumption Generation for Compositional Verification	claim
19	120	Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra	claim
20	118	C32SAT: Checking C Expressions	claim
21	118	Local Proofs for Global Safety Properties	claim
22	117	Spade: Verification of Multithreaded Dynamic and Recursive Programs	claim
23	116	A Decision Procedure for Bit-Vectors and Arrays	claim
24	116	A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java	claim
25	114	Comparison Under Abstraction for Verifying Linearizability	claim
26	114	An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software	claim
27	114	Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis	claim
28	113	Three-Valued Abstraction for Continuous-Time Markov Chains	claim
29	113	On Synthesizing Controllers from Bounded-Response Properties	claim
30	112	Magnifying-Lens Abstraction for Markov Decision Processes	claim
31	112	Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures	claim
32	112	Structural Abstraction of Software Verification Conditions	claim
33	111	Verification Across Intellectual Property Boundaries	claim
34	110	Hector: Software Model Checking with Cooperating Analysis Plugins	claim
35	110	Parallelising Symbolic State-Space Generators	claim
36	108	Systematic Acceleration in Regular Model Checking	claim
37	108	Parametric and Sliced Causality	claim
38	106	Leaping Loops in the Presence of Abstraction	claim
39	104	Revamping TVLA: Making Parametric Shape Analysis Competitive	claim
40	98	UPPAAL-Tiga: Time for Playing Games!	claim
41	93	LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals	claim
42	86	From Liveness to Promptness	claim
43	85	jMoped: A Test Environment for Java Programs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers