Results (7)

  • Compositional specifications for ioco testing
    Conference paper
  • Battery transition systems
    Conference paper
  • A logic-based framework for verifying consensus algorithms
    Conference paper