Formal Methods
This is a personal (and incomplete) repository gathering miscellaneous
informations about formal methods.
Companies
- Clearsy: Safety critical systems engineering
- ERTMS Solutions: development of products compatible with the European railway signalization norm ERTMS/ETCS.
- Esterel Technologies: Critical Systems and Software Development Solutions.
- Formal Mind: development of safety-critical systems.
- GrammaTech: software-assurance tools and advanced cyber-security solutions.
- Prove & Run: Software development for sensitive systems and high security requirements
- SafeRiver: Safety and cyber-security for software-based systems.
- Systerel: Safe real-time solutions
- TrustInSoft: Cyber security provider
Techniques and tool support
- ACSL: ANSI/ISO C Specification Language. Frama-C
- B method. Atelier-B, B Toolkit
- CSP: Concurrent Sequential Processes. FDR
- Event-B. Rodin
- JML: Java Modeling Language. Esc/Java2, KeY, Krakatoa
- Spec#. Visual Studio
- TLA: Temproral Logic of Actions. TLA+
- VDM: Vienna Development Method. Overture
Academic events
- ABZ
- AVoCS
- ETAPS
- FACS
- FM
- FMICS
- FormaliSE
- ICFEM
- ICTAC
- iFM
- LOPSTR
- NFM
- SBMF
- SEFM
- TACAS
- TAP
- TASE
- VSTTE