Symbolic model-checking with Set Rewriting
ContributorsLopez Bobeda, Edmundo
DirectorsBuchs, Didier
Defense date2015-05-15
Abstract
Keywords
- Symboilc model checking
- Model checking
- Software verification
- Decision diagrams
- Semantics
Research group
Funding
- Swiss National Science Foundation - Brinta
Citation (ISO format)
LOPEZ BOBEDA, Edmundo. Symbolic model-checking with Set Rewriting. 2015. doi: 10.13097/archive-ouverte/unige:72949
Main files (1)
Thesis
Identifiers
- PID : unige:72949
- DOI : 10.13097/archive-ouverte/unige:72949
- URN : urn:nbn:ch:unige-729494
- Thesis number : Sc. 4782