Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
6
Program languages
0
Licenses
1
1-1 of 1
Logo for 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

Artefact of: JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java

  • concurrent systems
  • Deductive verification
  • formal methods
  • + 3
    5
    4