Smart Induction for Isabelle/HOL (Tool Paper)

Nagashima, Yutaka

doi:10.34727/2020/isbn.978-3-85448-042-6_32

Title:	Smart Induction for Isabelle/HOL (Tool Paper)
Authors:	Nagashima, Yutaka
Editors:	Ivrii, Alexander Strichman, Ofer
Issue Date:	2020
Book Title:	Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
Series:	Conference Series: Formal Methods in Computer-Aided Design
Keywords:	computer-aided system design
URI:	http://hdl.handle.net/20.500.12708/15528 http://dx.doi.org/10.34727/2020/isbn.978-3-85448-042-6_32
DOI:	10.34727/2020/isbn.978-3-85448-042-6_32
License:	CC BY 4.0
Publication Type:	Inproceedings
Appears in Collections:	Open Access Series Conference Paper