Austrian Rigourous Systems Engineering was founded in 2010 to further the research in formal methods for the design of correct computer systems. It brings together top researchers in formal methods in Austria in order to foster collaboration and a common research platform.
Over the last decades, the complexity of computer systems has increased dramatically and so has their ubiquity and importance to the general public. Designers today need computer-assisted methods and tools to support them in the design process. The use of methods like model checking has traditionally been a-posteriori. Within ARiSE, we aim at to extend such methods to a mathematicaly rigorous framework that helps the programmer during, instead of after the design process.
The relevant research includes (but is not limited to) decision procedures for various logics, game theory and synthesis, and languages, architectures, and methods for the construction of concurrent and real-time software.