Login / Signup

Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.

Dirk BeyerHeike Wehrheim
Published in: ISoLA (1) (2020)
Keyphrases
  • cooperative
  • main contribution
  • model checking
  • social networks
  • multi agent
  • framework enables
  • real world
  • website