Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
13
Program languages
0
Licenses
2
1-3 of 3
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
    Logo for [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

    [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

    [Artifact] Deductive Verification of Parameterized Embedded Systems modeled in SystemC

    • Deductive verification
    • embedded systems
    • parameterized systems
    • + 2
      6
      0
      Logo for Permission-based Verification of Red-Black Trees and Their Merging - Code

      Permission-based Verification of Red-Black Trees and Their Merging - Code

      Permission-based Verification of Red-Black Trees and Their Merging - Code

      • Deductive verification
      • magic wand
      • producer-consumer pattern
      • + 3
        1
        0