Algebraic Foundations for Specification Refinements.

Pablo F. Castro Nazareno Aguirre

Published in: SBMF (2016)

Keyphrases

artificial intelligence
formal specification
specification language
formal verification
operational semantics
algebraic geometry
real time
image processing
high level
objective function
data structure
mobile robot
user defined