On Practical Verification of Processes

H. van Rein

On Practical Verification of Processes

H. van Rein

Databases (Former)

Research output: Contribution to conference › Paper › Academic › peer-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 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	http://users.polytech.unice.fr/~jpr/www-ecoop2000/

Keywords

IR-66452
EWI-7324

Access to Document

http://www.springerlink.com/content/46v43ly0ja25cl5v

Cite this

@conference{e50c0e294e6c4bbabb5a8700b0ce9d88,

title = "On Practical Verification of Processes",

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.",

keywords = "IR-66452, EWI-7324",

author = "{van Rein}, H.",

note = "Workshop on Object Interoperability (WOI 2000). Imported from EWI/DB PMS [db-utwente:inpr:0000003249]; null ; Conference date: 12-06-2000 Through 16-06-2000",

year = "2000",

month = jun,

language = "Undefined",

pages = "262--263",

url = "http://users.polytech.unice.fr/~jpr/www-ecoop2000/",

}

TY - CONF

T1 - On Practical Verification of Processes

AU - van Rein, H.

N1 - Conference code: 14

PY - 2000/6

Y1 - 2000/6

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

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

KW - IR-66452

KW - EWI-7324

M3 - Paper

SP - 262

EP - 263

Y2 - 12 June 2000 through 16 June 2000

ER -