Search Sciweavers | Sciweavers

4341 search results - page 199 / 869

» Quantitative Model checking

click to vote

APN
2001
Springer

94views Artificial Intelligence» more APN 2001»

Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

14 years 3 months ago

Download www.tcs.hut.fi

Timo Latvala

claim paper

Read More »

click to vote

CAV
2001
Springer

97views Hardware» more CAV 2001»

Symmetry and Reduced Symmetry in Model Checking

14 years 3 months ago

Download research.microsoft.com

A. Prasad Sistla, Patrice Godefroid

claim paper

Read More »

click to vote

CHARME
2001
Springer

68views Hardware» more CHARME 2001»

Heuristics for Hierarchical Partitioning with Application to Model Checking

14 years 3 months ago

Download www.brics.dk

M. Oliver Möller, Rajeev Alur

claim paper

Read More »

click to vote

CHARME
2001
Springer

105views Hardware» more CHARME 2001»

Net Reductions for LTL Model-Checking

14 years 3 months ago

Download www.fmi.uni-stuttgart.de

We present a set of reduction rules for LTL model-checking of 1-safe Petri nets. Our reduction techniques are of two kinds: (1) Linear programming techniques which are based on wel...

Javier Esparza, Claus Schröter

claim paper

Read More »

click to vote

CONCUR
2001
Springer

133views Distributed And Parallel Com...» more CONCUR 2001»

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers