Abstract
The integration of a formal process theory with a practically usable notation is not straightforward, but it is necessary for practical verification of process specifications. Given such an intermediate language, a verification process that gives useful feedback is not trivial either: Model checkers are not powerful enough to deal with object models, and theorem provers provide insu#cient feedback and are not certain to find a proof.
Original language | Undefined |
---|---|
Pages | 262-263 |
Number of pages | 2 |
Publication status | Published - Jun 2000 |
Event | 14th European Conference on Object-Oriented Programming, ECOOP 2000 - Sophia Antipolis and Cannes, France Duration: 12 Jun 2000 → 16 Jun 2000 Conference number: 14 http://users.polytech.unice.fr/~jpr/www-ecoop2000/ |
Conference
Conference | 14th European Conference on Object-Oriented Programming, ECOOP 2000 |
---|---|
Abbreviated title | ECOOP 2000 |
Country/Territory | France |
City | Sophia Antipolis and Cannes |
Period | 12/06/00 → 16/06/00 |
Internet address |
Keywords
- IR-66452
- EWI-7324