Sciweavers

4341 search results - page 69 / 869

» Quantitative Model checking

113

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

15 years 10 months ago

Efficient Modeling of Embedded Memories in Bounded Model Checking

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta, Pranav Ashar

claim paper

Read More »

114

CAV
2001
Springer

74views Hardware» more CAV 2001»

Model Checking with Formula-Dependent Abstract Models

15 years 9 months ago

Model Checking with Formula-Dependent Abstract Models

Download www.inf.tu-dresden.de

Alexander Asteroth, Christel Baier, Ulrich Aß...

claim paper

Read More »

105

CAV
1999
Springer

85views Hardware» more CAV 1999»

Optimizing Symbolic Model Checking for Constraint-Rich Models

15 years 9 months ago

Optimizing Symbolic Model Checking for Constraint-Rich Models

Download www.cs.cmu.edu

Bwolen Yang, Reid G. Simmons, Randal E. Bryant, Da...

claim paper

Read More »

109

ENTCS
2002

87views more ENTCS 2002»

Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking

15 years 4 months ago

Parking can get you there faster - Model Augmentation to Speed up Real-Time Model-Checking

Download www.brics.dk

M. Oliver Möller

claim paper

Read More »

138

GCC
2003
Springer

92views Distributed And Parallel Com...» more GCC 2003»

Some Grid Automata for Grid Computing

15 years 10 months ago

Some Grid Automata for Grid Computing

Download cs.nju.edu.cn

We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...

Hao Shen, Yongqiang Sun

claim paper

Read More »

« Prev « First page 69 / 869 Last » Next »