Loading...
Please wait, while we are loading the content...
Similar Documents
Model checking with edge-valued decision diagrams
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Roux, Pierre Siminiceanu, Radu I. |
| Copyright Year | 2010 |
| Description | We describe an algebra of Edge-Valued Decision Diagrams (EVMDDs) to encode arithmetic functions and its implementation in a model checking library. We provide efficient algorithms for manipulating EVMDDs and review the theoretical time complexity of these algorithms for all basic arithmetic and relational operators. We also demonstrate that the time complexity of the generic recursive algorithm for applying a binary operator on EVMDDs is no worse than that of Multi- Terminal Decision Diagrams. We have implemented a new symbolic model checker with the intention to represent in one formalism the best techniques available at the moment across a spectrum of existing tools. Compared to the CUDD package, our tool is several orders of magnitude faster |
| File Size | 796914 |
| Page Count | 5 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20100018541 |
| Archival Resource Key | ark:/13960/t78s9q95p |
| Language | English |
| Publisher Date | 2010-04-01 |
| Access Restriction | Open |
| Subject Keyword | Mathematical And Computer Sciences (general) Algebra Algorithms Decision Theory Diagrams Proving Mathematical Models Functions Mathematics Program Verification Computers Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
