Automatic generation of invariants and intermediate assertions
From MaRDI portal
Publication:1391929
DOI10.1016/S0304-3975(96)00191-0zbMath0902.68120MaRDI QIDQ1391929
Nikolaj Bjørner, Zohar Manna, Anca Browne
Publication date: 23 July 1998
Published in: Theoretical Computer Science (Search for Journal in Brave)
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Some ways to reduce the space dimension in polyhedra computations, Deductive verification of alternating systems, Simplification of boolean verification conditions, Deductive verification of real-time systems using STeP, Subsequence Invariants
Uses Software
Cites Work