Program Verification by Using DISCOVERER

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-69149-5_58
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Verification of Source Code Transformations by Program Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Christopher Columbus, the Discoverer

HAHR - Hispanic American Historical Review
Cultural StudiesHistory
1945English

Discoverer of Cortical Rhythm

BMJ
1934English

Runtime Checking for Program Verification

English

On Temporal Program Verification Rules

RAIRO. Informatique théorique
1985English

Biometric Verification by Palmprint Using Contourlet Transform

Intelligent Decision Technologies
Computer VisionPattern RecognitionHuman-Computer InteractionArtificial IntelligenceSoftware
2016English

A Unified Approach of Program Verification

Acta Universitatis Sapientiae, Informatica
2017English

Program Verification With Interacting Analysis Plugins

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2007English

Andrew Wittman—Discoverer of Zinc

Journal of Chemical Education
ChemistryEducation
1940English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy