Symbolische LTL-Verifikation von Petrinetzen
Author: | Jochen Spranger |
---|---|
URN: | urn:nbn:de:kobv:co1-000000179 |
URL: | http://opus.kobv.de/btu/volltexte/2007/97/ |
Document Type: | Doctoral thesis |
Language: | German |
Year of publication: | 2001 |
Tag: | 1-Stellen-Invarianten; Büchiautomaten; Büchinetze; Fixpunktiteration; LTL; Modelchecking; Petrinetze; ROBDD; Stellen/Transaktionsnetze; Tiefensuche; Verifikation; linear-time temporale Logik; nebenläufige Systeme; on-the-fly Verfahren; reduzierte geordnete binäre Entscheidungsgraphen; symbolische Tiefensuche; symbolische Verfahren |
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Datenstrukturen und Softwarezuverlässigkeit |
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Informatik / Datenstrukturen und Softwarezuverlässigkeit |