General Correctness: A Unification of Partial and Total Correctness

Acta Informatica - Germany
doi 10.1007/bf00290146
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Specification and Refinement in General Correctness

1998English

Partial Correctness Assertions Provable in Dynamic Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Partial Correctness and Continuous Integration in Computer Supported Education

2014English

Program Correctness by Transformation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

The Correctness of Type Specialisation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Correctness of Object-Oriented Database Schema

Journal of Computer Science and Cybernetics
2013English

Algebraic Models and the Correctness of Microprocessors

English

A Logic for Knowledge, Correctness, and Real Time

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Complex Langevin Dynamics: Criteria for Correctness

2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy