Sciweavers

5015 search results - page 42 / 1003

» Model Checking a Path

19

CAV
2004
Springer

97views Hardware» more CAV 2004»

Efficient Modeling of Embedded Memories in Bounded Model Checking

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

26

CAV
2001
Springer

74views Hardware» more CAV 2001»

Model Checking with Formula-Dependent Abstract Models

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

22

CAV
1999
Springer

85views Hardware» more CAV 1999»

Optimizing Symbolic Model Checking for Constraint-Rich Models

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

20

ENTCS
2002

87views more ENTCS 2002»

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

13 years 8 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 »

31

ENTCS
2007

140views more ENTCS 2007»

Secured Information Flow for Asynchronous Sequential Processes

13 years 8 months ago

Secured Information Flow for Asynchronous Sequential Processes

Download hal.archives-ouvertes.fr

We present in this article a precise security model for data conﬁdentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...

Isabelle Attali, Denis Caromel, Ludovic Henrio, Fe...

claim paper

Read More »

« Prev « First page 42 / 1003 Last » Next »