Formal Methods. FM 2019 International Workshops

Discover the cutting-edge advancements in formal methods with Formal Methods. FM 2019 International Workshops, edited by Emil Sekerinski. Published by Springer Nature Switzerland AG in 2020, this first edition spans an impressive 523 pages. This comprehensive volume compiles the refereed proceedings from the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. It features insightful papers from the Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019, among others. Ideal for researchers, practitioners, and students, this book provides valuable perspectives on the latest developments in formal verification techniques. Enhance your understanding of software dependability and explore the innovative methodologies presented by leading experts in the field. Don’t miss the opportunity to enrich your knowledge with this essential resource!