PUMA
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.
 
 
Abstract
(English)
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