With both cookbook-style examples and in-depth verification background, novice and expert verification engineers will find information to ease their adoption …
The UVM Primer uses simple, runnable code examples, accessible analogies, and an easy-to-read style to introduce you to the foundation …
Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing …
This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in …
This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in …
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in …
This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in …
The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often …
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle …
The First Haifa Verification Conference was held at the IBM Haifa Research Lab and at the Haifa University in Israel …
Extensively class tested, this text takes an innovative approach to explaining the process of software testing: it defines testing as …
This book introduces embedded software engineering and management methods, proposing the relevant testing theory and techniques that promise the final …
The testing market is growing at a fast pace and ISTQB certifications are being increasingly requested, with more than 180,000 …
This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Unifying Theories of Programming, UTP 2006, held …
This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in …
This book constitutes the refereed proceedings of the 6th International Symposium on Unifying Theories of Programming, UTP 2016, held in …
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing …
