Automatic verification of sequential infinite state processes [electronic resource] | Burkart, Olaf, SpringerLink (Online service)
Automatic verification of sequential infinite state processes [electronic resource]
Author: Burkart, Olaf, SpringerLink (Online service)
Added by: sketch
Added Date: 2015-12-30
Publication Date: 1997
Language: eng
Subjects: Computer software, Software engineering
Publishers: Berlin ; New York : Springer
Collections: folkscanomy miscellaneous, folkscanomy, additional collections
ISBN Number: 3540639829, 9783540639824
Pages Count: 300
PPI Count: 300
PDF Count: 1
Total Size: 71.29 MB
PDF Size: 2.58 MB
Extensions: djvu, gif, pdf, gz, zip, torrent, log, mrc
Downloads: 207
Views: 257
Total Files: 18
Media Type: texts
Description
Author: Olaf Burkart
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-63982-4
DOI: 10.1007/3-540-69678-4
Table of Contents:
- Introduction
- Background
- Pushdown Processes
- Model Checking
- Equivalence Checking
- Summary and Perspectives
Includes bibliographical references (p. [155]-159) and index