Search Sciweavers | Sciweavers

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 »

11

click to vote

SPIN
2009
Springer

91views Theoretical Computer Science» more SPIN 2009»

Improving Non-Progress Cycle Checks

13 years 11 months ago

Download spinroot.com

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-ﬁrst s...

David Faragó, Peter H. Schmitt

claim paper

Read More »

15

click to vote

CSIE
2009
IEEE

141views Theoretical Computer Science» more CSIE 2009»

Design of Manufacturing Execution System Oriented to Spinning Workshop

13 years 9 months ago

Download lib.xpu.edu.cn

Jingfeng Shao, Yonggang Li, Bo Li, Songtao Liu, La...

claim paper