Sciweavers

12981 search results - page 112 / 2597

» Model Checking (Abstract)

72

DSN
2005
IEEE

94views Computer Networks» more DSN 2005»

Model Checking Markov Reward Models with Impulse Rewards

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

63

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

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

55

CAV
1999
Springer

85views Hardware» more CAV 1999»

Optimizing Symbolic Model Checking for Constraint-Rich Models

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

61

ENTCS
2002

87views more ENTCS 2002»

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

14 years 9 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 »

81

SAS
2009
Springer

148views Formal Methods» more SAS 2009»

Abstract Interpretation from a Topological Perspective

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