TSConIT 12 Projects (Track E)
Formal Methods & Tools
Michael Weber
TSCon IT 12
TSCon IT 11
TSCon IT 12 Projects
E-Mail:
michaelw@cs.utwente.nl
12th Twente Student Conference on IT
Available Project Proposals
Confluence Detection
Program Readability Measuring with GROOVE
Separation Logic for Multithreaded Java Programs
Automatic Parallellisation of Automata
UPPAAL Static Analyzer
A Strategy for a Timed Game as Timed Automaton
A Compositional Framework for Dynamic Reliability Block Diagrams
High Level Control Flow Semantics Deļ¬nition
ToLERo: ToRX-tested LEGO Robots
A Java Library of (Parallel) Graph Algorithms
Evaluation of Cache-Oblivious Data Structures
Storage Hierarchies in Modern Hardware
Playing Parity Games on the Sony PlayStation 3
SE Projects