The Mathematical Foundation of Symbolic Trajectory Evaluation
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 196-207
- https://doi.org/10.1007/3-540-48683-6_19
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Formal verification by symbolic evaluation of partially-ordered trajectoriesFormal Methods in System Design, 1995
- Symbolic Model CheckingPublished by Springer Nature ,1993
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973