LICS 2003 - PDF Preprint Papers

LICS 2003 Symposium on Logic in Computer Science

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed LICS-2003 Paper

click to vote

LICS
2003
IEEE

208views Automated Reasoning» more LICS 2003»

Model checking for probability and time: from theory to practice

14 years 4 months ago

Download www.prismmodelchecker.org

Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...

Marta Z. Kwiatkowska

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	208	Model checking for probability and time: from theory to practice	claim
2	163	About Translations of Classical Logic into Polarized Linear Logic	claim
3	139	Logic in Access Control	claim
4	117	Labelled Markov Processes: Stronger and Faster Approximations	claim
5	117	Types and Programming Languages: The Next Generation	claim
6	108	Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or	claim
7	108	Micro-Macro Stack Systems: A New Frontier of Elementary Decidability for Sequential Systems	claim
8	107	Revisiting Digitization, Robustness, and Decidability for Timed Automata	claim
9	106	Successor-Invariance in the Finite	claim
10	98	Abstract Saturation-Based Inference	claim
11	98	Model-checking Trace Event Structures	claim
12	96	Structural Subtyping of Non-Recursive Types is Decidable	claim
13	93	Reasoning about Hierarchical Storage	claim
14	93	New Directions in Instantiation-Based Theorem Proving	claim
15	90	The Planning Spectrum - One, Two, Three, Infinity	claim
16	85	A Proof Theory for Generic Judgments: An extended abstract	claim
17	84	Will Deflation Lead to Depletion? On Non-Monotone Fixed Point Inductions	claim
18	82	An NP Decision Procedure for Protocol Insecurity with XOR	claim
19	77	Polynomial-time Algorithms from Ineffective Proofs	claim
20	75	Model Checking Guarded Protocols	claim
21	75	Spectra of Monadic Second-Order Formulas with One Unary Function	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers