On Practical Verification of Processes

Share/Save/Bookmark

van Rein, H. (2000) On Practical Verification of Processes. In: Proceedings of ECOOP 2000 Workshops, Panels, and Posters, 12 Jun 2000, Sophia Anthipolis, France.

[img]
Preview
PDF
144Kb
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.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Link to this item:http://purl.utwente.nl/publications/66452
Official URL:http://www.springerlink.com/content/46v43ly0ja25cl5v
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page