7 citations · 19 across the 8 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018★ 2 cited
DeepSaucer: Unified Environment for Verifying Deep Neural Networks
Naoto Sato, Hironobu Kuruma, Masanori Kaneko +4
In recent years, a number of methods for verifying DNNs have been developed. Because the approaches of the methods differ and have their own limitations, we think that a number of…
cs.SE2018★ 7 cited
The Unit-B Method -- Refinement Guided by Progress Concerns
Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff
We present Unit-B, a formal method inspired by Event-B and UNITY. Unit-B aims at the stepwise design of software systems satisfying safety and liveness properties. The method featu…