Abstract/Details

Symbolic model checking using algebraic geometry


2003 2003

Other formats: Order a copy

Abstract (summary)

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 used for symbolic model checking. The present work investigates the details of this approach, and its practicality, using theoretical means and experiments based on a prototype implementation.

Indexing (details)


Subject
Mathematics;
Computer science
Classification
0405: Mathematics
0984: Computer science
Identifier / keyword
Applied sciences, Pure sciences, Algebraic geometry, Computational algebraic geometry, Finite-state verification, Symbolic model checking
Title
Symbolic model checking using algebraic geometry
Author
Ecke, Volker
Number of pages
265
Publication year
2003
Degree date
2003
School code
0118
Source
DAI-B 64/01, Dissertation Abstracts International
Place of publication
Ann Arbor
Country of publication
United States
ISBN
9780493996936, 0493996931
Advisor
Avrunin, George
University/institution
University of Massachusetts Amherst
University location
United States -- Massachusetts
Degree
Ph.D.
Source type
Dissertations & Theses
Language
English
Document type
Dissertation/Thesis
Dissertation/thesis number
3078679
ProQuest document ID
305322303
Copyright
Database copyright ProQuest LLC; ProQuest does not claim copyright in the individual underlying works.
Document URL
http://search.proquest.com/docview/305322303
Access the complete full text

You can get the full text of this document if it is part of your institution's ProQuest subscription.

Try one of the following:

  • Connect to ProQuest through your library network and search for the document from there.
  • Request the document from your library.
  • Go to the ProQuest login page and enter a ProQuest or My Research username / password.