Search Sciweavers | Sciweavers

65 search results - page 1 / 13

» Model Checking: A Tutorial Overview

Voted

MOVEP
2000

167views Hardware» more MOVEP 2000»

Model Checking: A Tutorial Overview

15 years 1 months ago

Download www.spinroot.com

We survey principles of model checking techniques for the automatic analysis of reactive systems. The use of model checking is exemplified by an analysis of the Needham-Schroeder p...

Stephan Merz

claim paper

Read More »

170

click to vote

AB
2008
Springer

384views Computational Biology» more AB 2008»

Tutorial on Model Checking: Modelling and Verification in Computer Science

15 years 3 months ago

Download fmv.jku.at

Armin Biere

claim paper

Read More »

click to vote

SPIN
2007
Springer

124views Theoretical Computer Science» more SPIN 2007»

Tutorial: Parallel Model Checking

15 years 3 months ago

Download anna.fi.muni.cz

d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...

Lubos Brim, Jiri Barnat

claim paper

Read More »

Voted

ICCAD
2005
IEEE

140views Hardware» more ICCAD 2005»

Embedded tutorial: formal equivalence checking between system-level models and RTL

15 years 3 months ago

Download www2.iccad.com

Alfred Koelbl, Yuan Lu, Anmol Mathur

claim paper

Read More »