assertion

• Setting the assertion level
  Tags:
  • assertion
  • check
  • invariant
  • dbc
• Design by Contract in SCOOP
  Tags:
  • scoop
  • concurrency
  • assertion
  • dbc