Geodesic

Volume 26 (2019) no. 4

Table of contents

From the editors of the issue
p. 473-474
Operational semantics of annotated Reflex programs
p. 475-487
Safety analysis of longitudinal motion controllers during climb flight
p. 488-501
The complex approach of the C-lightVer system to the automated error localization in C-programs
p. 502-519
Proving properties of discrete-valued functions using deductive proof: application to the square root
p. 520-533
Methods for domain specification of verification-oriented process ontology
p. 534-549
Property-directed inference of relational invariants
p. 550-571
Features of the computational implementation of the algorithm for estimating the Lyapunov exponents of systems with delay
p. 572-582