FG Datenstrukturen und Softwarezuverlässigkeit
Refine
Document Type
- Doctoral thesis (3)
- Conference Proceeding (1)
Language
- German (4) (remove)
Keywords
- Modelchecking (2)
- Verifikation (2)
- 1-Stellen-Invarianten (1)
- Büchiautomaten (1)
- Büchinetze (1)
- DCTL (1)
- Fixpunktiteration (1)
- LTL (1)
- Petri-Netze (1)
- Petrinetze (1)
- Prozeßautomaten (1)
- ROBDD (1)
- Stellen/Transaktionsnetze (1)
- Tiefensuche (1)
- Verteilte Systeme (1)
- linear-time temporale Logik (1)
- nebenläufige Systeme (1)
- on-the-fly Verfahren (1)
- reduzierte geordnete binäre Entscheidungsgraphen (1)
- symbolische Tiefensuche (1)
- symbolische Verfahren (1)