ST /

STWinterMeeting2014Session5

Chair: Gerardo

09:00Reiner Hähnle(TU Darmstadt)Fully Abstract Method Contracts
09:30Nikita FrolovA formalization of scheduling transformations
10:00Laura KovacsGenPro: Generating and Proving Program Properties via Symbol Elimination
10:10Johan NordlanderDesigning an end-user DSL for network management automation