Formal Methods and Safety Certification: Challenges in the Railways Domain
The railway signalling sector has historically been a source of success stories about the adoption of formal methods in the certification of software safety of computer based control equipment.
ISoLA