Sciweavers

Share
37 search results - page 1 / 8
» spin 2009
Sort
View
SPIN
2009
Springer
10 years 6 months ago
Experience with Model Checking Linearizability
Martin T. Vechev, Eran Yahav, Greta Yorsh
SPIN
2009
Springer
10 years 6 months ago
Tool Presentation: Teaching Concurrency and Model Checking
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...
Mordechai Ben-Ari
SPIN
2009
Springer
10 years 6 months ago
Improving Non-Progress Cycle Checks
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
David Faragó, Peter H. Schmitt
CSIE
2009
IEEE
10 years 4 months ago
Design of Manufacturing Execution System Oriented to Spinning Workshop
Jingfeng Shao, Yonggang Li, Bo Li, Songtao Liu, La...
books