Sciweavers

12981 search results - page 112 / 2597

» Model Checking (Abstract)

142

DSN
2005
IEEE

94views Computer Networks» more DSN 2005»

Model Checking Markov Reward Models with Impulse Rewards

15 years 12 months ago

Model Checking Markov Reward Models with Impulse Rewards

Download pulungan.staff.ugm.ac.id

Lucia Cloth, Joost-Pieter Katoen, Maneesh Khattri,...

claim paper

Read More »

125

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

15 years 11 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 »

122

CAV
1999
Springer

85views Hardware» more CAV 1999»

Optimizing Symbolic Model Checking for Constraint-Rich Models

15 years 10 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 »

136

ENTCS
2002

87views more ENTCS 2002»

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

15 years 6 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 »

162

SAS
2009
Springer

148views Formal Methods» more SAS 2009»

Abstract Interpretation from a Topological Perspective

16 years 6 months ago

Abstract Interpretation from a Topological Perspective

Download santos.cis.ksu.edu

Interpretation from a Topological Perspective David A. Schmidt Kansas State University, Manhattan, Kansas, USA Abstract. Topology is the study of property sets (open sets) and cont...

David A. Schmidt

claim paper

Read More »

« Prev « First page 112 / 2597 Last » Next »