The Austrian Society for Rigorous Systems Engineering (ARiSE) was founded in May 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.
In December 2010, the Austrian Science Fund (FWF) approved funding for the National Research Network “RiSE” whose Principal Investigators are the founding members of ARiSE.
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 mathematically rigorous framework that helps the programmer during, instead of after the design process.