Search Sciweavers | Sciweavers

4 search results - page 1 / 1

» movep 2000

click to vote

MOVEP
2000

122views Hardware» more MOVEP 2000»

Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography

13 years 8 months ago

Download www.crim.ca

Alexandre Petrenko

claim paper

Read More »

click to vote

MOVEP
2000

167views Hardware» more MOVEP 2000»

Model Checking: A Tutorial Overview

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

click to vote

MOVEP
2000

118views Hardware» more MOVEP 2000»

Mobile Processes: A Commented Bibliography

13 years 8 months ago

Download www.fairdene.com

We propose a short bibliographic survey of calculi for mobile processes. Contrasting with other similar exercises, we consider two related, but distinct, notions of mobile processe...

Silvano Dal-Zilio

claim paper

Read More »

click to vote

MOVEP
2000

136views Hardware» more MOVEP 2000»

UPPAAL - Now, Next, and Future

13 years 8 months ago

Download www.inrialpes.fr

Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...

Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Ped...

claim paper

Read More »

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

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers