On Practical Verification of Processes

H. van Rein

Research output: Contribution to conferencePaperpeer-review

58 Downloads (Pure)


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
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


Conference14th European Conference on Object-Oriented Programming, ECOOP 2000
Abbreviated titleECOOP 2000
CitySophia Antipolis and Cannes
Internet address


  • IR-66452
  • EWI-7324

Cite this