CAV 2004 - PDF Preprint Papers

CAV 2004 International Workshop on Computer Aided Verification

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CAV-2004 Paper

click to vote

CAV
2004
Springer

202views Hardware» more CAV 2004»

Statistical Model Checking of Black-Box Probabilistic Systems

13 years 10 months ago

Download osl.cs.uiuc.edu

Abstract. We propose a new statistical approach to analyzing stochastic systems against speciﬁcations given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...

Koushik Sen, Mahesh Viswanathan, Gul Agha

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	202	Statistical Model Checking of Black-Box Probabilistic Systems	claim
2	159	Static Program Analysis via 3-Valued Logic	claim
3	154	Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values	claim
4	152	Abstract Regular Model Checking	claim
5	151	QB or Not QB: An Efficient Execution Verification Tool for Memory Orderings	claim
6	140	Indexed Predicate Discovery for Unbounded System Verification	claim
7	136	JNuke: Efficient Dynamic Analysis for Java	claim
8	130	Global Model-Checking of Infinite-State Systems	claim
9	128	Proving More Properties with Bounded Model Checking	claim
10	126	An Efficiently Checkable, Proof-Based Formulation of Vacuity in Model Checking	claim
11	123	SAL 2	claim
12	122	Abstraction-Based Satisfiability Solving of Presburger Arithmetic	claim
13	121	CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking	claim
14	120	Termination of Linear Programs	claim
15	111	Using Interface Refinement to Integrate Formal Verification into the Design Cycle	claim
16	108	Formal Analysis of Java Programs in JavaFAN	claim
17	108	DPLL( T): Fast Decision Procedures	claim
18	108	Functional Dependency for Verification Reduction	claim
19	105	A Formal Reduction for Lock-Free Parallel Algorithms	claim
20	104	Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings	claim
21	101	Symbolic Model Checking of Non-regular Properties	claim
22	100	An Experimental Evaluation of Ground Decision Procedures	claim
23	99	Range Allocation for Separation Logic	claim
24	97	Zing: A Model Checker for Concurrent Software	claim
25	97	Efficient Modeling of Embedded Memories in Bounded Model Checking	claim
26	96	Widening Arithmetic Automata	claim
27	96	Verification via Structure Simulation	claim
28	93	Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures	claim
29	90	WSAT: A Tool for Formal Analysis of Web Services	claim
30	89	Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement	claim
31	89	Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors	claim
32	87	GSTE Is Partitioned Model Checking	claim
33	86	MCK: Model Checking the Logic of Knowledge	claim
34	77	Understanding Counterexamples with explain	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers