Modal And Temporal Properties Of Processes
Download Modal And Temporal Properties Of Processes PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Modal And Temporal Properties Of Processes book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Modal and Temporal Properties of Processes
Author: Colin Stirling
language: en
Publisher: Springer Science & Business Media
Release Date: 2001-07-06
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
Proof, Language, and Interaction
This collection of essays reflects the breadth of research in computer science. Following a biography of Robin Milner it contains sections on semantic foundations; programming logic; programming languages; concurrency; and mobility.
SOFSEM 2002: Theory and Practice of Informatics
Author: William I. Grosky
language: en
Publisher: Springer Science & Business Media
Release Date: 2002-11-05
This book constitutes the refereed proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics, SOFSEM 2002, held in Milovy, Czech Republic, in November 2002. The volume presents 10 invited lectures and the report on a panel discussion on GRID computing together with 11 revised full papers selected from 22 submissions. Among the topics covered are system design and testing related theory, distributed and parallel systems, type theory, multimedia, databases, computer vision, and soft computing.