69 search results - page 8 / 14 » spin 2007 |
FSEN
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
ENTCS
2007
14 years 9 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
AAI
2004
14 years 9 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
79
Voted
ACSD
2007
IEEE
15 years 4 months ago
2007
IEEE
We describe a translation from Rebeca, an actorbased language, to mCRL2, a process algebra enhanced with data types. The main motivation is to exploit the verification tools and ...
ICRA
2007
IEEE
15 years 3 months ago
2007
IEEE
— In this paper, a strategy for controlled pushing is presented for microassembly of 4.5 μm polystyrene particles on a flat glass substrate using an atomic force microscope prob...