List of Books in Keyword #verification

Principles of Functional Verification
Published on: 2003
Unordered Software Testing English

As design complexity in chips and devices continues to rise, so, too, does the demand for functional verification. Principles of …

verification design simulation methodology debugging
Principles of Model Checking
Published on: 2008
Advanced Computer Science and Theory English

Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing …

Model Checking Verification Algorithms Computational Systems model checking verification algorithms concurrency logic
Principles of Model Checking (Instructor Solution Manual, Solutions)
Published on: 2008
Advanced Computer Science and Theory English

model checking verification algorithms solutions logic
Formal Aspects of Computing
Published on: 2014 May 27
Unordered Computer Science and Theory English

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: …

formal methods computing software engineering algorithms verification
ACM Transactions on Computational Logic
Published on: 2006 April 01
Unordered Logic and Foundations English

Issues (Editions)YearIssue2021Volume: 2212020Volume: 2112342019Volume: 2112Volume: 2012342018Volume: 201Volume: 1912342017Volume: 191Volume: 1812342016Volume: 172342015Volume: 1712Volume: 1612342014Volume: 161Volume: 1512342013Volume: 1412342012Volume: 1312342011Volume: 122342010Volume: 121Volume: 112342009Volume: …

computational logic algorithms formal methods reasoning verification

Page of