EasyChair Smart SlideDocs/Log in
Author: Hiroshi Unno

This page shows all presentations of this author published in EasyChair Smart Slide.

Temporal Verification of Programs via First-Order Fixpoint Logic

Temporal Verification of Programs via First-Order Fixpoint Logic

Naoki Kobayashi, Takeshi Nishikawa, Atsushi Igarashi and Hiroshi Unno

A Fixpoint Logic and Dependent Effects for Temporal Property Verification

A Fixpoint Logic and Dependent Effects for Temporal Property Verification

Yoji Nanjo, Hiroshi Unno, Eric Koskinen and Tachio Terauchi

Horn Clauses and Beyond for Relational and Temporal Program Verification

Horn Clauses and Beyond for Relational and Temporal Program Verification

Hiroshi Unno

Propositional Dynamic Logic for Higher-Order Functional Programs

Propositional Dynamic Logic for Higher-Order Functional Programs

Yuki Satake and Hiroshi Unno

Presentations in this collection: 4
Copyright © 2002 – 2024 EasyChair