Login / Signup

Benchmarks for the Verification of Safety and Security Properties of PLC Programs in Cooperative Verification Environments.

Chibuzo UkegbuHoda Mehrpouyan
Published in: ICISE (2023)
Keyphrases
  • cooperative
  • security properties
  • model checking
  • formal methods
  • cryptographic protocols
  • formal verification
  • security analysis
  • knowledge base
  • security protocols