Campus Event Calendar
Event Entry
What and Who
Applications of Hierarchical Reasoning in Verification
Swen Jacobs
Max-Planck-Institut für Informatik - AG 2
Ringvorlesung
AG 1, AG 2, AG 3, AG 4, AG 5
MPI Audience
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 8 June 2006
13:00
-- Not specified --
E1 3 - Hörsaal Gebäude
16
Saarbrücken
Abstract
We present work in progress on how hierarchical reasoning can be used to
verify properties of complex systems. Chains of local theory extensions
are used to
model a case study taken from the European Train Control System
(ETCS) standard, but considerably simplified. We show how testing invariants
and bounded model checking can automatically be reduced to checking
satisfiability of ground formulae over a base theory. We give an outlook
on our current and future work on the topic.
verify properties of complex systems. Chains of local theory extensions
are used to
model a case study taken from the European Train Control System
(ETCS) standard, but considerably simplified. We show how testing invariants
and bounded model checking can automatically be reduced to checking
satisfiability of ground formulae over a base theory. We give an outlook
on our current and future work on the topic.
Contact
--email hidden
passcode not visible
logged in users only
Veronika Weinand, 06/07/2006 12:18
Veronika Weinand, 04/26/2006 14:28
Veronika Weinand, 04/26/2006 14:21 -- Created document.
Veronika Weinand, 04/26/2006 14:28
Veronika Weinand, 04/26/2006 14:21 -- Created document.