Search Sciweavers | Sciweavers

518 search results - page 1 / 104

» Tool Presentation: Teaching Concurrency and Model Checking

click to vote

SPIN
2009
Springer

120views Theoretical Computer Science» more SPIN 2009»

Tool Presentation: Teaching Concurrency and Model Checking

14 years 5 months ago

Download stwww.weizmann.ac.il

This paper describes a set of software tools developed for teaching concurrency and model checking. jSpin is an elementary development environment for Spin that formats and ﬁlter...

Mordechai Ben-Ari

claim paper

Read More »

click to vote

TOPNOC
2008

119views Artificial Intelligence» more TOPNOC 2008»

TAPAs: A Tool for the Analysis of Process Algebras

13 years 11 months ago

Download rap.dsi.unifi.it

Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...

Francesco Calzolai, Rocco De Nicola, Michele Loret...

claim paper

Read More »

click to vote

ECLIPSE
2004
ACM

129views Software Engineering» more ECLIPSE 2004»

Supporting model checking education using BOGOR/Eclipse

14 years 4 months ago

Download projects.cis.ksu.edu

This paper describes our eﬀort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...

Matthew B. Dwyer, John Hatcliff, Matthew Hoosier

claim paper

Read More »

click to vote

FTRTFT
1998
Springer

123views Formal Methods» more FTRTFT 1998»

KRONOS: A Model-Checking Tool for Real-Time Systems (Tool-Presentation for FTRTFT '98)

14 years 3 months ago

Download www-verimag.imag.fr

Marius Bozga, Conrado Daws, Oded Maler, Alfredo Ol...

claim paper

Read More »