Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
7
Program languages
13
Licenses
2
1-2 of 2
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 IntervalMDPAbstractions.jl_ReproducibilityPackage

    IntervalMDPAbstractions.jl_ReproducibilityPackage

    Data and code underlying the publication: Scalable control synthesis for stochastic systems via structural IMDP abstractions

    • embedded systems
    • Markov processes
    • Stochastic control and optimization
    • JSON
    • C++
    • HTML
    • + 10
    3
    0