The Formal Analysis and Design of Software Systems (FADoSS) group focuses on the analysis and implementation of formal techniques for verifying the design of software systems. We are interested in analyzing the theoretical foundations of particular software systems, specification methods, theorem proving, and analysis and generation of code. In fact, because software systems are now […]
