Results (8)

  • Compositional specifications for ioco testing
    Conference paper
  • Model measuring for hybrid systems
    Conference paper
  • Extensional crisis and proving identity
    Conference paper
  • A logic-based framework for verifying consensus algorithms
    Conference paper