A Hoare logic for linear systems.

Rob Arthan Ursula Martin Paulo Oliva

Published in: Formal Aspects Comput. (2013)

Keyphrases

linear systems
sufficient conditions
linear equations
dynamical systems
modal logic
coefficient matrix
interior point methods
sparse linear systems
genetic algorithm
global optimization