Search Sciweavers | Sciweavers

4502 search results - page 37 / 901

» Regular Model Checking

138

click to vote

DSN
2005
IEEE

94views Computer Networks» more DSN 2005»

Model Checking Markov Reward Models with Impulse Rewards

15 years 11 months ago

Download pulungan.staff.ugm.ac.id

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

claim paper

Read More »

123

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

15 years 11 months ago

Download www.nec-labs.com

Malay K. Ganai, Aarti Gupta, Pranav Ashar

claim paper

Read More »

132

click to vote

CAV
2001
Springer

74views Hardware» more CAV 2001»

Model Checking with Formula-Dependent Abstract Models

15 years 10 months ago

Download www.inf.tu-dresden.de

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

claim paper

Read More »

118

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

Optimizing Symbolic Model Checking for Constraint-Rich Models

15 years 10 months ago

Download www.cs.cmu.edu

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

claim paper

Read More »

128

click to vote

ENTCS
2002

87views more ENTCS 2002»

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

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers