Formal Methods. FM 2019 International Workshops

Discover the cutting-edge insights in "Formal Methods. FM 2019 International Workshops," edited by Emil Sekerinski and published by Springer Nature Switzerland AG in 2020. This comprehensive volume spans 575 pages and serves as the refereed proceedings of the workshops that accompanied the 23rd Symposium on Formal Methods, held in Porto, Portugal, in October 2019. Inside, you'll find a collection of papers from the Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019, showcasing the latest advancements in artificial intelligence, computer science, and software development. Ideal for researchers and practitioners alike, this first edition is a must-have resource for those interested in expert systems and information technology. Enhance your understanding of formal methods and their applications in software dependability with this essential read.