Ctrl K

Software Projects Organisations Communities News

Ctrl K

Limited functionality: Your browser does not support JavaScript.

Software Highlights

Browse all Highlights

All software

1Filter

Order by

Keywords

11

Program languages

7

Licenses

2

Items

1-2 of 2

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

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