Josef Widder is awarded a FWF standalone project “PRAVDA” on Parameterized Verification of Fault-tolerant Distributed AlgorithmsContinue 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.
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
Laura Kovács and Georg Weissenbacher are the organizers of the second workshop on Craig interpolation and its applications.Continue reading
The Forsyte group co-organises this year’s edition of the SAT/SMT Summer School.Continue reading
Josef Widder is invited to talk tomorrow at Imagine 14 about how research funding started his IT career.Continue reading