5 datasets found

This paper presents experiments on common knowledge logic, conducted with the help of the proof assistant Coq. The main feature of common knowledge logic is the...

The development of distributed algorithms and, more generally, distributed systems, is a complex, delicate and challenging process. Refinement techniques of (system)...

This thesis presents an algorithm that eliminates square root and division operations in some straight-line programs used in embedded systems while preserving the...

In this thesis we present the formalization of three principal results that are the Jordan normal form of a matrix, the Bolzano-Weierstraß theorem, and the...

6 pages, 2 figures