[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || The steam boiler case study: Competition of formal program specification and development methods

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies Volume 7610 || Handling Heterogeneity in Formal Developments of Hardware and Software Systems

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 72 KB

The two-volume set LNCS 7609 and 7610 constitutes the thoroughly refereed proceedings of the 5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, held in Heraklion, Crete, Greece, in October 2012. The two volumes contain papers presented in the topic

[Lecture Notes in Computer Science] Leve

[Lecture Notes in Computer Science] Leveraging Applications of Formal Methods, Verification, and Validation Volume 6416 || A Case Study in Model-Based Adaptation of Web Services

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 492 KB

This Volume Contains The Conference Proceedings Of The 4th International S- Posium On Leveraging Applications Of Formal Methods, Veri?cation And Vali- Tion, Isola 2010, Which Was Held In Greece (heraklion, Crete) October 18–21, 2010, And Sponsored By Easst. Following The Tradition Of Its Forerunners

[Lecture Notes in Computer Science] FME

[Lecture Notes in Computer Science] FME '93: Industrial-Strength Formal Methods Volume 670 || Automating the generation and sequencing of test cases from model-based specifications

✍ Woodcock, James C. P.; Larsen, Peter G. 📂 Article 📅 1993 🏛 Springer-Verlag 🌐 German ⚖ 895 KB

the Last Few Years Have Borne Witness To A Remarkable Diversity Of Formal Methods, With Applications To Sequential And Concurrent Software, To Real-time And Reactive Systems, and To Hardware Design. In That Time, Many Theoretical Problems Have Been Tackled And Solved, And Many Continue To Be Worke

[Lecture Notes in Computer Science] FME

[Lecture Notes in Computer Science] FME '93: Industrial-Strength Formal Methods Volume 670 || Automating the generation and sequencing of test cases from model-based specifications

✍ Woodcock, James C. P.; Larsen, Peter G. 📂 Article 📅 1993 🏛 Springer-Verlag 🌐 German ⚖ 895 KB

the Last Few Years Have Borne Witness To A Remarkable Diversity Of Formal Methods, With Applications To Sequential And Concurrent Software, To Real-time And Reactive Systems, and To Hardware Design. In That Time, Many Theoretical Problems Have Been Tackled And Solved, And Many Continue To Be Worke

[Lecture Notes in Computer Science] NASA

[Lecture Notes in Computer Science] NASA Formal Methods Volume 7226 || On the Development and Formalization of an Extensible Code Generator for Real Life Security Protocols

✍ Goodloe, Alwyn E.; Person, Suzette 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 355 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods: Foundations and Applications Volume 6527 || A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs

✍ Davies, Jim; Silva, Leila; Simao, Adenilso 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 267 KB

This Book Constitutes The Thoroughly Refereed Post-conference Proceedings Of The 13th Brazilian Symposium On Formal Methods, Sbmf 2010, Held In Natal, Brazil, In November 2010. The 18 Revised Full Papers Were Carefully Reviewed And Selected From 55 Submissions. The Papers Presented Cover A Broad Ran