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

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-25271-6_16
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Client-Specific Equivalence Checking

2018English

Equivalence Checking of Arithmetic Expressions Using Fast Evaluation

2005English

Model Checking Software Systems: A Case Study.

1995English

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

Induction in Compositional Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

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

Source Code Metrics and Maintainability: A Case Study

Communications in Computer and Information Science
MathematicsComputer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy