Sciweavers

777 search results - page 1 / 156

» Model Checking with Formula-Dependent Abstract Models

15

CAV
2001
Springer

74views Hardware» more CAV 2001»

Model Checking with Formula-Dependent Abstract Models

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

17

QEST
2010
IEEE

155views Modeling and Simulation» more QEST 2010»

Abstraction and Model Checking in the PEPA Plug-In for Eclipse

13 years 3 months ago

Abstraction and Model Checking in the PEPA Plug-In for Eclipse

Download lanther.co.uk

Michael J. A. Smith

claim paper

Read More »

16

ENTCS
2002

93views more ENTCS 2002»

A Tool for Abstraction in Model Checking

13 years 5 months ago

A Tool for Abstraction in Model Checking

Download www.lcc.uma.es

or Abstraction in Model Checking Mar

María-del-Mar Gallardo, Jesús Mart&i...

claim paper

Read More »

16

IPL
2010

94views more IPL 2010»

Partial model checking via abstract interpretation

13 years 4 months ago

Partial model checking via abstract interpretation

Download eprints.adm.unipi.it

model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...

Nicoletta De Francesco, Giuseppe Lettieri, Luca Ma...

claim paper

Read More »

16

TC
2010

87views Information Technology» more TC 2010»

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

13 years 4 months ago

Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement

Download www.csee.usf.edu

Hao Zheng, Haiqiong Yao, Tomohiro Yoneda

claim paper

Read More »

« Prev « First page 1 / 156 Last » Next »