Control and data abstraction: The cornerstones of practical formal verification
type: Item
instance of: scholarly article
title: Control and data abstraction: The cornerstones of practical formal verification
zbMATH Open document ID: 1059.68589
author: Amir Pnueli
author: Yonit Kesten
published in: International Journal on Software Tools for Technology Transfer. STTT
publication date: 2000-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1862273
zbMATH Keywords: formal verification
zbMATH Keywords: linear temporal logic
zbMATH Keywords: data abstraction
zbMATH Keywords: control abstraction
zbMATH Keywords: network invariant
zbMATH Keywords: model checking
zbMATH Keywords: safety and liveness property
zbMATH Keywords: weak and strong fairness
MaRDI profile type: Publication
full work available at URL: s100090050040
OpenAlex ID: W2066680644
DOI: 10.1007/S100090050040
description: scientific article; zbMATH DE number 1862273