Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
13
Program languages
0
Licenses
2
1-3 of 3
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
    6
    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 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