research
∙
06/21/2023
Verifying Global Neural Network Specifications using Hyperproperties
Current approaches to neural network verification focus on specification...
share
research
∙
01/26/2023
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks
Counterexample-guided repair aims at creating neural networks with mathe...
research
∙
12/06/2022
Formal Modeling and Analysis of Legal Contracts using ContractCheck
We describe a method and tool called ContractCheck that allows for the c...
research
∙
12/05/2022
symQV: Automated Symbolic Verification of Quantum Programs
We present symQV, a symbolic execution framework for writing and verifyi...
research
∙
06/03/2021
DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization
Decisions made by deep neural networks (DNNs) have a tremendous impact o...
research
∙
01/29/2020
TarTar: A Timed Automata Repair Tool
We present TarTar, an automatic repair analysis tool that, given a timed...
research
∙
12/04/2018
Verlässliche Software im 21. Jahrhundert
Software is the main innovation driver in many different areas, like clo...
research
∙
10/08/2017