Automated Deduction for Verification

ACM Computing Surveys - United States
doi 10.1145/1592434.1592437
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Special Relations in Automated Deduction

English

Deduction in the Verification Support Environment (VSE)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

Early History and Perspectives of Automated Deduction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Automated Techniques for Higher-Order Program Verification

Progress in Informatics
2013English

Automated Creation of Verification Model for C-Programs

2008English

Model Classifications and Automated Verification

English

Hybrid Minutiae-Based Architecture for Automated Fingerprint Verification System

International Journal of Computer Applications
2016English

Rapid, Automated, Test, Verification and Validation for the CubeSats

International Journal of Space Science and Engineering
ControlSystems EngineeringSpacePlanetary ScienceComputer Science ApplicationsAerospace Engineering
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy