Andreas Podelski
Hat mitgewirkt an:
-
Stratified commutativity in verification algorithms for concurrent programs
-
Automated verification of system requirements and software specifications
-
Traces, interpolants, and automata : a new approach to automatic software verification
-
Guided search for hybrid systems based on coarse-grained space abstractions