Automatic Verification Methods for Finite State Systems
Subtitle: International Workshop, Grenoble, France. June 12-14, 1989. Proceedings (Lecture Notes in Computer Science)
Publisher: Not Avail
Published: February 1990
Language: eng
Format: Paperback
Number of pages: 382
ISBN-13: 9783540521488
Subjects: Mathematical theory of computation; Systems analysis & design; Programming - Systems Analysis & Design; Computers - General Information; Logic Design; Programming - Software Development
First sentence: The theory of process calculi as started with CCS [Mil 80] resulted in a number of verification tools designs, mostly in the case of terms with finitary representation (finite automata) [CPS 89,BoC 88,GLZ 89].