On Practical Verification of Processes

H. van Rein

Research output: Contribution to conferencePaperAcademicpeer-review

19 Downloads (Pure)

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 languageUndefined
Pages262-263
Number of pages2
Publication statusPublished - Jun 2000
Event14th European Conference on Object-Oriented Programming, ECOOP 2000 - Sophia Antipolis and Cannes, France
Duration: 12 Jun 200016 Jun 2000
Conference number: 14
http://users.polytech.unice.fr/~jpr/www-ecoop2000/

Conference

Conference14th European Conference on Object-Oriented Programming, ECOOP 2000
Abbreviated titleECOOP 2000
CountryFrance
CitySophia Antipolis and Cannes
Period12/06/0016/06/00
Internet address

Keywords

  • IR-66452
  • EWI-7324

Cite this