VMCAI 2010 - PDF Preprint Papers

VMCAI 2010 International Workshop on Verification

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed VMCAI-2010 Paper

click to vote

VMCAI
2010
Springer

127views Software Engineering» more VMCAI 2010»

Advances in Probabilistic Model Checking

1 years 11 months ago

Download eprints.eemcs.utwente.nl

In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...

Joost-Pieter Katoen

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.

Related Conferences

Id	Views	Title	Status
1	127	Advances in Probabilistic Model Checking	claim
2	106	Improved Model Checking of Hierarchical Systems	claim
3	97	Shape Analysis in the Absence of Pointers and Structure	claim
4	97	Considerate Reasoning and the Composite Design Pattern	claim
5	84	Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction	claim
6	81	Shape Analysis of Low-Level C with Overlapping Structures	claim
7	81	Best Probabilistic Transformers	claim
8	80	Building a Calculus of Data Structures	claim
9	79	Interpolant Strength	claim
10	77	Complexity Bounds for the Verification of Real-Time Software	claim
11	76	Collections, Cardinalities, and Relations	claim
12	74	Automatic Abstraction for Congruences	claim
13	72	Shape Analysis with Reference Set Relations	claim
14	71	An Analysis of Permutations in Arrays	claim
15	65	Regular Linear Temporal Logic with Past	claim
16	63	Abstract Threads	claim
17	61	Temporal Reasoning for Procedural Programs	claim
18	60	RGSep Action Inference	claim
19	60	Abstract Interpretation-Based Protection	claim
20	59	Invariant and Type Inference for Matrices	claim
21	59	An Abstract Domain to Discover Interval Linear Equalities	claim
22	57	Model-Checking In-Lined Reference Monitors	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers