ARTS 1999 - PDF Preprint Papers

ARTS 1999 International Workshop on Real-Time Systems and Concurrent and Distributed Software

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed ARTS-1999 Paper

click to vote

ARTS
1999
Springer

82views Distributed And Parallel Com...» more ARTS 1999»

ProbVerus: Probabilistic Symbolic Model Checking

1 years 9 months ago

Download www-2.cs.cmu.edu

Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...

Vicky Hartonas-Garmhausen, Sérgio Vale Agui...

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	82	ProbVerus: Probabilistic Symbolic Model Checking	claim
2	71	Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach	claim
3	71	A Formal Model of Real-Time Program Compilation	claim
4	70	Process Algebra with Probabilistic Choice	claim
5	70	Verifying Progress in Timed Systems	claim
6	68	Specifying Performance Measures for PEPA	claim
7	64	Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover	claim
8	64	Quantitative Program Logic and Performance in Probabilistic Distributed Algorithms	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers