A Transformational Approach for Generating Non-linear Invariants
- 1 January 2000
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Analysis of a biphase mark protocol with U ppaal and PVSFormal Aspects of Computing, 2006
- A theory of timed automataPublished by Elsevier ,2002
- On-the-fly analysis of systems with unbounded, lossy FIFO channelsPublished by Springer Nature ,1998
- Verifying systems with infinite but regular state spacesPublished by Springer Nature ,1998
- Symbolic model checking of infinite state systems using presburger arithmeticPublished by Springer Nature ,1997
- A formal model of asynchronous communication and its use in mechanically verifying a biphase mark protocolFormal Aspects of Computing, 1994
- Abstract Interpretation FrameworksJournal of Logic and Computation, 1992
- Completeness with Finite Systems of Intermediate Assertions for Recursive Program SchemesSIAM Journal on Computing, 1980
- Static determination of dynamic properties of generalized type unionsACM SIGOPS Operating Systems Review, 1977
- Affine relationships among variables of a programActa Informatica, 1976