Sciweavers

3224 search results - page 262 / 645

» On Checking Model Checkers

117

COMPUTER
2000

53views more COMPUTER 2000»

E-Process Design and Assurance Using Model Checking

15 years 5 months ago

E-Process Design and Assurance Using Model Checking

Download crec.mccombs.utexas.edu

Wenli Wang, Zoltán Hidvégi, Andrew D...

claim paper

Read More »

127

FMSD
2000

69views more FMSD 2000»

Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System

15 years 5 months ago

Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System

Download www.aladdin.cs.cmu.edu

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »

87

ENTCS
2002

56views more ENTCS 2002»

Using Assumptions to Distribute CTL Model Checking

15 years 5 months ago

Using Assumptions to Distribute CTL Model Checking

Download www.fi.muni.cz

Lubos Brim, Jitka Crhova, Karen Yorav

claim paper

Read More »

113

ENTCS
2002

89views more ENTCS 2002»

Bounded Model Checking for Timed Automata

15 years 5 months ago

Bounded Model Checking for Timed Automata

Download www.csl.sri.com

Maria Sorea

claim paper

Read More »

124

JACM
2000

55views more JACM 2000»

An automata-theoretic approach to branching-time model checking

15 years 5 months ago

An automata-theoretic approach to branching-time model checking

Download folli.loria.fr

Orna Kupferman, Moshe Y. Vardi, Pierre Wolper

claim paper

Read More »

« Prev « First page 262 / 645 Last » Next »