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

361views Software Engineering» more VMCAI 2010»

Advances in Probabilistic Model Checking

14 years 8 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	361	Advances in Probabilistic Model Checking	claim
2	239	Improved Model Checking of Hierarchical Systems	claim
3	226	Building a Calculus of Data Structures	claim
4	204	Best Probabilistic Transformers	claim
5	202	Shape Analysis with Reference Set Relations	claim
6	196	Shape Analysis of Low-Level C with Overlapping Structures	claim
7	191	Considerate Reasoning and the Composite Design Pattern	claim
8	188	Regular Linear Temporal Logic with Past	claim
9	174	Collections, Cardinalities, and Relations	claim
10	172	Deriving Invariants by Algorithmic Learning, Decision Procedures, and Predicate Abstraction	claim
11	170	Shape Analysis in the Absence of Pointers and Structure	claim
12	168	An Analysis of Permutations in Arrays	claim
13	160	RGSep Action Inference	claim
14	158	Model-Checking In-Lined Reference Monitors	claim
15	157	Abstract Threads	claim
16	152	Complexity Bounds for the Verification of Real-Time Software	claim
17	147	Invariant and Type Inference for Matrices	claim
18	146	Interpolant Strength	claim
19	143	An Abstract Domain to Discover Interval Linear Equalities	claim
20	138	Automatic Abstraction for Congruences	claim
21	135	Abstract Interpretation-Based Protection	claim
22	130	Temporal Reasoning for Procedural Programs	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers