|
|||||
|
|
Specifying Cash-Point with DisCo |
|
| Authors: | Timo Aaltonen Pertti Kellom?ki and Risto Pitk?nen |
| Affiliation: | (1) Software Systems Laboratory, Tampere University of Technology, Tampere, Finland, FI |
| Abstract: | We describe how the cash-point service problem of Formal Methods ’99 is specified using DisCo Dis, JKS91]. Received January 2000 / Accepted in revised form December 2000 |
| Keywords: | : Animation DisCo OO methods PVS Temporal logic Verification |
| 本文献已被 SpringerLink 等数据库收录！ | |