Formal Techniques for Safety-Critical Systems

Explore the essential insights of "Formal Techniques for Safety-Critical Systems," authored by Cyrille Artho and published by Springer Nature Switzerland AG in 2019. This comprehensive volume spans 179 pages and presents the refereed proceedings from the 6th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2018), held in the picturesque Gold Coast, Australia, in November 2018.

Inside, you will find ten meticulously revised full papers, each selected from a competitive pool of 22 submissions, alongside an abstract of an invited talk. This book is an invaluable resource for professionals and researchers focused on enhancing safety-critical systems through formal techniques. Delve into advanced methodologies and findings that contribute to the ongoing dialogue in this vital field. Perfect for academics, practitioners, and anyone interested in the intersection of safety and technology.