Automatic generation of invariants and intermediate assertions
type: Item
instance of: scholarly article
title: Automatic generation of invariants and intermediate assertions
zbMATH Open document ID: 0902.68120
DOI: 10.1016/S0304-3975(96)00191-0
author: Nikolaj Bjørner
author: Anca Browne
author: Zohar Manna
published in: Theoretical Computer Science
publication date: 1998-07-23T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1178638
zbMATH Keywords: temporal specifications
describes a project that uses: STeP
MaRDI profile type: Publication
cites work: On the mechanical derivation of loop invariants
cites work: Statecharts: a visual formalism for complex systems
cites work: Affine relationships among variables of a program
cites work: Logical analysis of programs
cites work: Q4053123
full work available at URL: s0304-3975(96)00191-0
OpenAlex ID: W2045112813
description: scientific article; zbMATH DE number 1178638