Projects

Current and previous projects of our group include:

• FRAPPANT – Formal Reasoning About Probabilistic Programs: Breaking New Ground for Automation
• APPA – Automated Probabilistic Program Analysis
• CAP Sino-German Project
• CARP: Correct and Efficient Accelerator Programming
• CATSY: Catalogue of System and Software Properties
• D-MILS: Distributed MILS for Dependable Information and Communication Infrastructures
• HODRIAN: Highly-Robust, Wireless Communication Components for Industrial Applications
• Juggrnaut: Verifying Pointer Programs with Unbounded Heap Structures
• Research Training Group UnRAVeL
• SENSATION: Self Energy-Supporting Autonomous Computation
• Testing for AADL
• VPLC: Verification of Programmable Logic Controller Code