2 citations · 3 across the 2 of their papers we have counts for
Showing cs.SEShow 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.SE2017★ 1 cited
Theory Plug-in for Rodin 3.x
T. S. Hoang, L. Voisin, A. Salehi +3
The Theory plug-in enables modellers to extend the mathematical modelling notation for Event-B, with accompanying support for reasoning about the extended language. Previous versio…