Using integer programming to verify general safety and liveness properties
type: Item
instance of: scholarly article
title: Using integer programming to verify general safety and liveness properties
zbMATH Open document ID: 0829.68051
DOI: 10.1007/BF01384316
author: James C. Corbett
author: George S. Avrunin
published in: Formal Methods in System Design
publication date: 1995-04-10T00:00:00Z
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 741356
zbMATH Keywords: concurrent systems
zbMATH Keywords: state explosion problem
MaRDI profile type: Publication
cites work: The equal flow problem
cites work: Algebra of communicating processes with abstraction
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: How to assign votes in a distributed system
cites work: Using partial orders for the efficient verification of deadlock freedom and safety properties
cites work: Q3777424
cites work: Q3992568
cites work: Q4037086
cites work: Q4385530
cites work: Q4037087
full work available at URL: https://doi.org/10.1007/bf01384316
OpenAlex ID: W2047375390
description: scientific article; zbMATH DE number 741356