Istituto di Scienza e Tecnologie dell'Informazione     
De Francesco N., Fantechi A., Gnesi S., Inverardi P. Finite approximations for model checking non-finite-state processes. In: Computer Journal, vol. 44 (2) pp. 109 - 123. British Computer Society, 2001.
This paper present a verification framework to check properties 0f full CCS terms. These terms are expressed in an action-based logic, and the proof technique is model checking baed on the transition system corresponding to CCS terms.
Subject Labelled transistion systems
Model checking
F.1.1 Models of Computation
F.4.1 Mathematical Logic

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional