Extending Floyd-Hoare Logic for Partial Pre- and Postconditions.

Andrii Kryvolap Mykola Nikitchenko Wolfgang Schreiner

Published in: ICTERI (Revised Selected Papers) (2013)

Keyphrases

logic programming
multi valued
neural network
error diffusion
partial information
logic synthesis
asynchronous circuits
formal theory
nonmonotonic logics
computational properties
classical logic
logical framework
modal logic
image quality
high quality
case study
real world