All software
4 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-4 of 4
Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java
- concurrent systems
- Deductive verification
- formal methods
- + 3
5
4
abstraction-mpc-integration
Code for publication: Temporal Logic Control of Nonlinear Stochastic Systems with Online Performance Optimization
- Abstraction
- formal methods
- Hybrid Systems
- + 3
- CSS
- HTML
- JavaScript
- + 4
5
0
Artefact for doctoral thesis "Verifying Optimised Parallel Code"
Artefact for doctoral thesis "Verifying Optimised Parallel Code"
- Deductive verification
- formal methods
- GPU
- + 2
- C
- C++
- Markdown
- + 4
1
0
VeriABI
Software supporting the MSc thesis "Binary Interface Compatibility for Library Integration in C++": VeriABI, a machine-checked ABI compatibility checker
- ABI
- API
- Application Binary Interface
- + 6
- C
- C++
- Markdown
- + 2
1
0