Formal Methods Websites
ERCIM - the European Research Consortium for Informatics and Mathemati
ERCIM - The European Research Consortium for Informatics and Mathematics
ERCIM - the European Research Consortium for Informatics and Mathemati
ERCIM - The European Research Consortium for Informatics and Mathematics
SIGSOFT - ACM Special Interest Group on Software Engineering
Association for Computing Machinery's Special Interest Group on Software Engineering, with awards, events, resources and contacts
André Platzer @ Carnegie Mellon University
André Platzer, Associate Professor of Computer Science at Carnegie Mellon University. Research, publications, tools, and courses on logic, computer science, and mathematics. Especially, verification of cyber-physical systems.
Deploy Project - Industrial deployment of system engineering methods p
industrial deployment of system engineering methods providing high dependability and productivity
Domagoj Babic's Home Page
Domagoj Babic is a computer scientist. His research interests include verification, testing, and security of complex software (and hardware) systems, automated inference of system models, design and verification of distributed systems, and applied formal methods in general.
Escher Technologies - reducing the cost of developing critical softwar
Formal Methods Wiki | Fandom
Welcome This is the The wiki about formal methods set up by Jonathan Bowen that anyone can edit. See announcement. Tip: If you register with this website you will receive less advertisements. 121 articles since February 2009 Contents (view all pages) Helping out Not sure where to start? Find...
FMnet - Formal Methods Wiki
FMnet provides access to online formal methods resources, including the Virtual Library formal methods pages.
Z User Group
The Z User Group exists to promote use and development of the Z notation, a formal specification language for computer-based systems.
Paul's Home Page
A personal web site of Paul Trafford with information on spirituality and relgion, especially Buddhism and interfaith.
Holonic Solutions
Techniques and tools for the analysis and design of holonic systems.
Jorge Navas Homepage
Jorge A. Navas is a senior researcher at Certora. Before, he was a senior computer scientist in the Computer Science Lab (CSL) at SRI International, a research engineer in the Robust Software Engineering Group at NASA Ames Research Center, a senior research fellow at The University of Melbourne, and a research fellow a
Dennis Sprokholt
Dennis Sprokholt is a PhD Candidate in Computer Science at TU Delft. Dennis applies formal methods to low-level programs, often for superoptimization.