PROFUNDIS: Deliverables Year 2 (2003)
Full archive, including Periodic Progress Report year 2, in gzip:ed tar or zip formats.
-
Periodic Progress Report year 2 (appendix 4b)
-
Deliverables:
- #2: Automata with Substitutions and Models for Spatial Logics; Symbolic Execution; Tool Implementation: Extended Automata
- #5: Verification Framework: Decidability Results, Algorithms and Extensions
- #8: Integration and Algorithms
- #12: Summary of Dissemination Year 2
- #16: Self-Assessment Year 2
Web page: Björn Victor, latest update Mon, 17-May-2004 00:42 MEST