On Practical Verification of Processes


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

open access
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
Additional information:Workshop on Object Interoperability (WOI 2000). Imported from EWI/DB PMS [db-utwente:inpr:0000003249]
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
HTML Citation
Reference Manager


Repository Staff Only: item control page