Algorithmic Verification of Procedural Programs in the Presence of Code Variability

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-15317-9_20
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Dynamic Verification of MPI Programs With Reductions in Presence of Split Operations and Relaxed Orderings

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Challenges in Code Optimization of Parallel Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Hoare-Style Verification of Graph Programs

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

Code Verification by the Method of Manufactured Solutions

2000English

Regression Verification: Proving the Equivalence of Similar Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Experimental Quantum Verification in the Presence of Temporally Correlated Noise

npj Quantum Information
Nonlinear PhysicsComputer NetworksCommunicationsComputer ScienceStatisticalMathematicsComputational Theory
2018English

A Study of Interspeaker Variability in Speaker Verification

IEEE Transactions on Audio, Speech, and Language Processing
2008English

Converting Code Clones to Aspects Using Algorithmic Approach

English

Forward Versus Backward Verification of Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy