List of Books in Keyword #Verification

A Practical Guide to Adopting the Universal Verification Methodology (UVM)
Published on: 2010
Unordered Software Testing English

With both cookbook-style examples and in-depth verification background, novice and expert verification engineers will find information to ease their adoption …

Verification Universal Methodology UVM SystemVerilog
The UVM Primer: An Introduction to the Universal Verification Methodology
Published on: 2013
Unordered Software Testing English

The UVM Primer uses simple, runnable code examples, accessible analogies, and an easy-to-read style to introduce you to the foundation …

Verification UVM SystemVerilog Design ASIC
UVM Golden Reference Guide
Published on: 2013
Unordered Computer Science and Theory English

UVM Verification SystemVerilog ASIC Design
Handbook of Model Checking
Published on: 2018
Intermediate novel English

Model checking is a computer-assisted method for the analysis of dynamical systems that can be modeled by state-transition systems. Drawing …

Verification Automata Logic Algorithms Systems
Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
Published on: 2009
Intermediate novel English

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in …

Formal methods Verification Software engineering Mathematical models Symposium
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
Published on: 2011
Intermediate novel English

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in …

Formal methods Software engineering Verification Brazil Symposium
Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
Published on: 2011
Intermediate novel English

This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in …

Formal Methods Mathematical Logic Software Engineering Verification Brazil
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Published on: 2015
Intermediate novel English

This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in …

Formal Methods Verification Symposium SBMF 2014 Proceedings
An Introduction to Practical Formal Methods Using Temporal Logic
Published on: 2011
Intermediate novel English

The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often …

Temporal Logic Formal Methods Case Studies Verification Software Engineering
Functional programming languages for verification tools.A comparison of Standard ML and Haskell
Published on:
Unordered Computer Science and Theory English

Standard ML Haskell Verification Functional Programming Comparison
CONCUR 2012 – Concurrency Theory: 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings
Published on: 2012
Unordered Computer Science and Theory English

This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle …

Concurrency Formal Methods Algorithms Verification Systems

Page 1 of 1