Refine
Year of publication
Document Type
- Conference Proceeding (551) (remove)
Language
- English (465)
- German (73)
- Multiple languages (10)
- French (2)
- Russian (1)
Keywords
- social media (5)
- Archiv (4)
- Information Structure (4)
- Nachlass (4)
- Cloud Computing (3)
- E-Learning (3)
- E-Mail Tracking (3)
- ERP (3)
- MOOC (3)
- Privacy (3)
Institute
- Extern (139)
- Fachgruppe Betriebswirtschaftslehre (65)
- Institut für Biochemie und Biologie (56)
- Department Sport- und Gesundheitswissenschaften (40)
- Institut für Ernährungswissenschaft (37)
- Department Psychologie (29)
- Institut für Künste und Medien (23)
- Interdisziplinäres Zentrum für Musterdynamik und Angewandte Fernerkundung (23)
- Institut für Informatik und Computational Science (20)
- Institut für Slavistik (17)
Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal transition systems or other dual transition systems. By contrast we apply completely standard techniques for constructing abstract interpretations to the abstraction of a CTL semantic function, without restricting the kind of properties that can be verified. Furthermore we show that this leads directly to implementation of abstract model checking algorithms for abstract domains based on constraints, making use of an SMT solver.