Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Frumin, Daniil"'
Autor:
van Eekelen, Marko, Frumin, Daniil, Geuvers, Herman, Gondelman, Léon, Krebbers, Robbert, Schoolderman, Marc, Smetsers, Sjaak, Verbeek, Freek, Viguier, Benoît, Wiedijk, Freek
We present twenty-five C programs, as a benchmark for C program verification using formal methods. This benchmark can be used for system demonstration, for comparison of verification effort between systems, and as a friendly competition. For this las
Externí odkaz:
http://arxiv.org/abs/1904.01009
Autor:
Frumin, Daniil, Berg, Benno van den
We present a way of constructing a Quillen model structure on a full subcategory of an elementary topos, starting with an interval object with connections and a certain dominance. The advantage of this method is that it does not require the underlyin
Externí odkaz:
http://arxiv.org/abs/1701.08369