Geodesic

Volume 28 (2021) no. 4

Sommaire

From the editors of the issue
p. 322-324
Notes on recent achievements in proving stability using KeYmaeraX
p. 326-336
Autotuning parallel programs by model checking
p. 338-355
On the satisfiability and model checking for one parameterized extension of linear-time temporal logic
p. 356-371
Towards automatic deductive verification of C programs with sisal loops using the C-lightVer system
p. 372-393
A mathematical model of parallel programs and an approach based on it to verification of MPI programs
p. 394-412
A recursive inclusion checker for recursively defined subtypes
p. 414-433
Solving linear programming problems by reducing to the form with an obvious answer
p. 434-451
An algorithm for estimating the signal frequency at the output of a channel with a controlled information flow under phase noise conditions
p. 452-461