ICFEM 2009 - PDF Preprint Papers

ICFEM 2009 International Conference on Formal Engineering Methods

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ICFEM-2009 Paper

click to vote

ICFEM
2009
Springer

189views Software Engineering» more ICFEM 2009»

Approximate Model Checking of PCTL Involving Unbounded Path Properties

14 years 7 months ago

Download www.public.iastate.edu

Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...

Samik Basu, Arka P. Ghosh, Ru He

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	189	Approximate Model Checking of PCTL Involving Unbounded Path Properties	claim
2	188	Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language	claim
3	187	Implementing a Direct Method for Certificate Translation	claim
4	185	Graded-CTL: Satisfiability and Symbolic Model Checking	claim
5	140	An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata	claim
6	125	Role-Based Symmetry Reduction of Fault-Tolerant Distributed Protocols with Language Support	claim
7	125	A Lazy Unbounded Model Checker for Event-B	claim
8	123	Supporting Reuse of Event-B Developments through Generic Instantiation	claim
9	120	Scalable Multi-core Model Checking Fairness Enhanced Systems	claim
10	120	Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude	claim
11	117	The VSE Refinement Method in Hets	claim
12	115	Qualitative Action Systems	claim
13	114	European Train Control System: A Case Study in Formal Verification	claim
14	114	A Compositional Approach on Modal Specifications for Timed Systems	claim
15	109	Circular Coinduction with Special Contexts	claim
16	106	Modeling and Analysis of Thread-Pools in an Industrial Communication Platform	claim
17	104	Implementing and Applying the Stocks-Carrington Framework for Model-Based Testing	claim
18	104	An Empirical Study of Structural Constraint Solving Techniques	claim
19	103	Symbolic Query Exploration	claim
20	103	Improving Automatic Verification of Security Protocols with XOR	claim
21	94	RAFFS: Model Checking a Robust Abstract Flash File Store	claim
22	90	A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties	claim
23	83	A Verification System for Distributed Objects with Asynchronous Method Calls	claim
24	80	Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers