The 2015 CAV Award is given to Edmund Clarke, Orna Grumberg, Ron Hardin, Zvi Harel, Somesh Jha, Robert Kurshan, Yuan Lu, and Helmut Veith for the development and implementation of the localization-reduction technique and the formulation of counterexample-guided abstraction refinement (CEGAR).Continue reading
Fundamental research topics include software model checking, test case generation, static analysis, protocol verification, and formal methods for distributed and concurrent systems. Industrial research is focusing on low level software, and embedded systems in the avionics and automotive sector.
We are offering courses in Formal Methods, Model Checking, Computer-Aided Verification, Abstract Interpretation, and Decision Procedures. We are always looking for enthusiastic young people who are interested in a research project or thesis in the Bachelor, Master, and PhD programs.
Josef Widder has received his habilitation in computer science from TU Wien. He is now Privatdozent.Continue reading
We had great talks at FRIDA’15 workshop in Grenoble. The slides of some of the talks are available online.Continue reading
Check the program of the 2nd workshop on Formal Reasoning in Distributed Algorithms at FORTE. We have a nice program this year.Continue reading
iDQ v1.0 is now available online: http://forsyte.at/software/idq/Continue reading
We have a great program for our workshop on formal reasoning in distributed algorithms. Join us at the workshop!Continue reading