Yutaka Nagashima

From MaRDI portal
Person:1798970

Available identifiers

zbMath Open nagashima.yutakaMaRDI QIDQ1798970

List of research outcomes





PublicationDate of PublicationType
Definitional Quantifiers Realise Semantic Reasoning for Proof by Induction2022-12-07Paper
Simple dataset for proof method recommendation in Isabelle/HOL2021-01-20Paper
Goal-oriented conjecturing for Isabelle/HOL2018-10-18Paper
A proof strategy language and proof script generation for Isabelle/HOL2017-09-22Paper
Refinement through restraint: bringing down the cost of verification2017-05-10Paper
A framework for the automatic formal verification of refinement from \textsc{Cogent} to C2016-10-27Paper

Research outcomes over time

This page was built for person: Yutaka Nagashima

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1798970&oldid=6424920"
Powered by MediaWiki