Projects
Moritz Hammer
Projects:
- LWAASpin, a modification of the SPIN model checker which uses Tarjan's algorithm and linear weak alternating automata
- Visualizations of statespaces of an explicit model checker
- CMC, a component-based, disk-based model checker
- (A list of various model checking tools)
- A highly efficient hand evaluator for 5-out-of-7-cards Poker games (like Texas Hold'em)
- A "virtual" virtual machine for Java. It allows the execution of Java bytecode within Java, facilitating ways to directly investigate the execution of a Java program.