Thumbnail
Access Restriction
Subscribed

Author Camurati, P. ♦ Corno, F. ♦ Prinetto, P.
Source IEEE Xplore Digital Library
Content type Text
Publisher Institute of Electrical and Electronics Engineers, Inc. (IEEE)
File Format PDF
Copyright Year ©1993
Language English
Subject Domain (in DDC) Technology ♦ Engineering & allied operations
Subject Keyword Algebra ♦ Hardware ♦ Logic functions ♦ Automatic logic units ♦ Data structures ♦ Boolean functions ♦ Software testing ♦ System testing ♦ Microprogramming ♦ Speckle
Abstract The use of process algebras is advocated as a solution for system-level description of structure, communication, and behavior, while an action-based temporal logic is used to specify and check system-level properties. It is shown how SEVERO, a tool for describing and verifying finite state systems, can be used to integrate in the unified framework of symbolic manipulations both descriptive and prescriptive aspects. Experimental results show the efficiency of the BDD (binary decision diagram)-based implementation of the proof procedures.<<ETX>>
Description Author affiliation: Dipartimento di Autom. e Inf., Politecnico di Torino, Italy (Camurati, P.; Corno, F.; Prinetto, P.)
ISBN 0818643501
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research ♦ Reading
Education Level UG and PG
Learning Resource Type Article
Publisher Date 1993-09-20
Rights Holder Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Size (in Bytes) 573.09 kB
Page Count 6
Starting Page 124
Ending Page 129


Source: IEEE Xplore Digital Library