compositional-verification

There are 0 repository under compositional-verification topic.

• GaloisInc / pate

  Patches Assured up to Trace Equivalence

  armbinary-analysiscompositional-verificationpowerpcstatic-analysisverification
  Language:Haskell 15

• Lerbert / asyncac

  Tools and case studies for my Master's thesis "Compositional Verification of Communicating UML State Machines"

  compositional-verificationhaskelluml-state-machineverification
  Language:Haskell 0