Geodesic

Tome 25 (2018) no. 5

Sommaire

From the editors of the special issue
p. 463-464
A control flow graph based approach to make the~verification of cyber-physical systems using~KeYmaera easier
p. 465-480
On methods in the verification and elaboration of development programs for agricultural territories
p. 481-490
The automation of C program verification by symbolic method of loop invariants elimination
p. 491-505
On the expressive power of some extensions of linear temporal logic
p. 506-524
On safety of unary and non-unary IFP-operators
p. 525-533
Polyprograms and polyprogram bisimulation
p. 534-548
Etude on recursion elimination
p. 549-560
Universal hypergraphic automata representation by autonomous input symbols
p. 561-571
Disordered oscillations in a neural network of three oscillators with a delayed broadcast connection
p. 572-583