flag flag  

Search all repositories
add criteria
Close advanced options Search for

 

Enter more search criteria
Publication Date
     
From
To
Document Language
Document Type
Repositories
Search History
• (author = "De Francesco N.")
Document details

Model checking of non-finite state processes by finite approximations

Author(s) : De Francesco N. , Fantechi A. , Gnesi S. , Inverardi P.
Description : In this paper we present a verification methodology, using an action-based logic, able to check properties for full CCS terms, allowing also verification on infinite state systems, Obviously, for some properties we are only able to give a semidecision procedure. The idea is to use a sequence of) fin...
Repository : National Research Council Pisa - ISTI Repository , View repository documents
Language(s) : English
Subject(s) : CCS
Publisher(s) :
Contributor(s) :
Source(s) : Internal note IEI-B4-54, 1993.
Publication Date(s) :