Yutaka Nagashima und Formal - Info zur Person

(1 - 6 von 6

)

PROCEEDINGS OF THE 20TH CONFERENCE ON FORMAL METHODS IN...

books.google.de

Smart. Induction. for. Isabelle/HOL. (Tool. Paper). Yutaka Nagashima CIIRC, Czech Technical University in Prague University of Innsbruck Email: ...

Accepted Papers · FMCAD :: Formal Methods in Computer ...

fmcad.forsyte.at

... Synthesis from Extended Bounded Response LTL Specifications Yutaka Nagashima Smart Induction for Isabelle/HOL (Tool Paper) Sepideh Asadi, Martin Blicha, ...

Accepted Papers – ITP 2016: Interactive Theorem Proving

itp2016.inria.fr

Regular Papers. Wenda Li, Lawrence C. Paulson. A Formal Proof of Cauchy's Residue Theorem Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas ...

Proceedings of Formal Methods in Computer-Aided Design ...

repositories.lib.utexas.edu

von A Ivrii · — 236) -- Smart Induction for Isabelle/HOL (Tool Paper) / by Yutaka Nagashima (p. 245) -- Trace Logic for Inductive Loop Reasoning / by Pamina Georgiou, ... › ...

Program – ITP 2016: Interactive Theorem Proving

itp2016.inria.fr

Christine Rizkallah, Japheth Lim, Yutaka Nagashima, Thomas Sewell, Zilin Chen, Liam O'Connor, Toby Murray, Gabriele Keller, Gerwin Klein. 12:30–14:00. Lunch. Session 11 (chair: Christian Doczkal). 14:00–14:30. Formalization of the Resolution Calculus for First-Order Logic (slides) Anders Schlichtkrull.