518 search results - page 1 / 104 » Tool Presentation: Teaching Concurrency and Model Checking |
83
Voted
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
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 filter...
96
Voted
TOPNOC
2008
14 years 9 months ago
2008
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...
87
Voted
ECLIPSE
2004
ACM
15 years 2 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
FTRTFT
1998
Springer
15 years 1 months ago
1998
Springer
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
