Electronic Books

Total Books: 1 - 18 /18

Abstraction Refinement for Large Scale Model Checking

This book describes recent research developments in automatic abstraction refinement techniques. The authors address the ...

Abstraction, Refinement and Proof for Probabilistic Systems

Probabilistic techniques are increasingly being employed in computer programs and systems because they can increase efficiency ...

Adaptive Mesh Refinement - Theory and Applications

Advanced numerical simulations that use adaptive mesh refinement (AMR) methods have now become routine in engineering and ...

Automated Technology for Verification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...

Formal Modeling and Analysis of Timed Systems : 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed ...

Formal Refinement for Operating System Kernels

The purpose of this book is to show that the formal specification of kernels can be followed by a completely formal refinement ...

Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings

This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...

Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings

This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...

Logic-Based Program Synthesis and Transformation : 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

Program Analysis and Compilation. Theory and Practice

This Festschrift volume publishing to honor Reinhard Wilhelm on his 60th Birthday on June 10, 2006, includes 15 refereed ...

Refinement Techniques in Software Engineering

This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...

Relations and Kleene Algebra in Computer Science

This volume contains the joint proceedings of the 9th International Conferenceon Relational Methods in Computer Science (RelMiCS-9) ...

Temporal Logic and State Systems

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification ...

Testing of Software and Communicating Systems : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

This book covers new approaches, concepts, theories, methodologies, tools, and experiences in the field of testing of communicating ...

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

This two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II

This book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...

Verification, Model Checking, and Abstract Interpretation (vol. # 3385)

The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. ...

ZB 2005: Formal Specification and Development in Z and B

This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, ...

Total Books: 1 - 18 /18