research
∙
05/20/2021
Towards Scalable Modeling of Biology in Event-B
Biology offers many examples of large-scale, complex, concurrent systems...
share
research
∙
11/09/2018
DeepSaucer: Unified Environment for Verifying Deep Neural Networks
In recent years, a number of methods for verifying DNNs have been develo...
research
∙
10/24/2018
