Automatic verification of sequential infinite-state processes
type: Item
instance of: scholarly article
title: Automatic verification of sequential infinite-state processes
zbMATH Open document ID: 1049.68001
author: Olaf Burkart
published in: Lecture Notes in Computer Science
publication date: 1998-01-26T00:00:00Z
review text: The short monograph -- based on the author's doctoral thesis -- discusses a theoretical framework for the verification of reactive, sequential infinite-state systems. These are typically nonterminating systems. The \textit{invariance} is key concept: it records what remains true throughout the execution of the program.
Mathematics Subject Classification ID: 68-02
zbMATH DE Number: 1110379
zbMATH Keywords: sequential processes
zbMATH Keywords: model checking
zbMATH Keywords: equivalence checking
reviewed by: Cristian S. Calude
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1110379