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 …
Verification is increasingly complex, and SystemVerilog is one of the languages that the verification community is turning to. However, no …
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional …
Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing …
This book constitutes the refereed proceedings of the 15th International Conference on Concurrency Theory, CONCUR 2004, held in London, UK …
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose of …
The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its …
This book constitutes the refereed proceedings of the 15th International Workshop on Design, Specification, and Verification of Interactive Systems, DSV-IS …
Issues (Editions)YearIssue2020Volume: 3212-34-6Volume: ??????2019Volume: 31123456Volume: ??????2018Volume: 3112Volume: 30123-4562017Volume: 30125Volume: 291234562016Volume: 29123Volume: 281234562015Volume: 2812Volume: 272345-62014Volume: 271234Volume: 2623562013Volume: 26123456Volume: 2532012Volume: 26123Volume: 251356Volume: …
Issues (Editions)YearIssue2021Volume: ??????2020Volume: 561-3Volume: 553Volume: ??????2019Volume: 5512Volume: 54123Volume: ??????2018Volume: 5412Volume: 53123Volume: 521232017Volume: 5512Volume: 53123Volume: 52123Volume: 51123Volume: 5012-32016Volume: 502-3Volume: 491-23Volume: 481-232015Volume: …