Symbolic model checking using algebraic geometry
Symbolic Model Checking is a technique for checking certain properties of a finite state model of a computer system. The most widely used symbolic representation is based on Ordered Binary Decision Diagrams. In [4], G. Avrunin showed how computational geometry and Gröbner basis techniques may be use...
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
ScholarWorks@UMass Amherst
2003
|
| Subjects: | |
| Online Access: | https://scholarworks.umass.edu/dissertations/AAI3078679 |