Sign in
Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework.
Dirk Beyer
Heike Wehrheim
Published in:
ISoLA (1) (2020)
Keyphrases
</>
cooperative
main contribution
model checking
social networks
multi agent
framework enables
real world
website