LICS 2002 - PDF Preprint Papers

LICS 2002 Symposium on Logic in Computer Science

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed LICS-2002 Paper

click to vote

LICS
2002
IEEE

151views Automated Reasoning» more LICS 2002»

Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing

14 years 4 months ago

Download sylvain.berbiqui.org

istic Abstraction for Model Checking: an Approach Based on Property Testing∗ Sophie Laplante† Richard Lassaigne‡ Fr´ed´eric Magniez§ Sylvain Peyronnet† Michel de Rougemo...

Sophie Laplante, Richard Lassaigne, Fréd&ea...

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	151	Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing	claim
2	128	Calibrating Computational Feasibility by Abstraction Rank	claim
3	123	Monadic Queries over Tree-Structured Data	claim
4	114	Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory	claim
5	109	Tree Extension Algebras: Logics, Automata, and Query Languages	claim
6	108	Description Logics: Foundations for Class-based Knowledge Representation	claim
7	104	A Syntactic Approach to Foundational Proof-Carrying Code	claim
8	101	Temporal Logic with Forgettable Past	claim
9	99	Complete Problems for Dynamic Complexity Classes	claim
10	95	Remarks on Isomorphisms in Typed Lambda Calculi with Empty and Sum Types	claim
11	95	A Fully Abstract May Testing Semantics for Concurrent Objects	claim
12	94	Separability, Expressiveness, and Decidability in the Ambient Logic	claim
13	94	Separation Logic: A Logic for Shared Mutable Data Structures	claim
14	93	The Powerdomain of Indexed Valuations	claim
15	92	Semantic Minimization of 3-Valued Propositional Formulae	claim
16	89	Linearity in Process Languages	claim
17	88	Semantic Subtyping	claim
18	85	Domain Theory and Differential Calculus (Functions of one Variable)	claim
19	85	Games on Graphs and Sequentially Realizable Functionals	claim
20	85	Semantics and Logic of Object Calculi	claim
21	84	The Proof Complexity of Linear Algebra	claim
22	83	The Metric Analogue of Weak Bisimulation for Probabilistic Processes	claim
23	81	Polarized Games	claim
24	78	Little Engines of Proof	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers