pmc software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: Hardware_ARITHMETICANDLOGICSTRUCTURES

Incremental Verification of Parametric and Reconfigurable Markov Chains -- Prototype implementation for analysis of VPMC reconfigurations.
Share - Bookmark