A Metric for Testing Program Verification Systems

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-38916-0_4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Algorithm Testing and Evaluation Program for Coordinate Measuring Systems:

1995English

Verification and Testing of Concurrent Systems With Action Races

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2000English

Runtime Checking for Program Verification

English

A Unified Approach of Program Verification

Acta Universitatis Sapientiae, Informatica
2017English

Automated Techniques for Higher-Order Program Verification

Progress in Informatics
2013English

A Program Testing Assistant

Communications of the ACM
Computer Science
1982English

Rule Systems for Runtime Verification: A Short Tutorial

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Field Verification Program for Small Wind Turbines

2003English

Automated Verification Techniques for Probabilistic Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy