Client-Specific Equivalence Checking

doi 10.1145/3238147.3238178
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Equivalence Checking for High-Assurance Behavioral Synthesis

2000English

Verification of Concurrent Quantum Protocols by Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Equivalence Checking of Arithmetic Expressions Using Fast Evaluation

2005English

Client/Server Framework for On-Line Building Code Checking

Journal of Computing in Civil Engineering
CivilComputer Science ApplicationsStructural Engineering
1998English

Verification of Source Code Transformations by Program Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets

2007English

Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Tightening Test Coverage Metrics: A Case Study in Equivalence Checking Using K-Induction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

An Efficient Equivalence-Checking Algorithm for a Model of Programs With Commutative and Absorptive Statements

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy