Login / Signup

Sound Verification Procedures for Temporal Properties of Infinite-State Systems.

Quentin PeyrasJean-Paul BodeveixJulien BrunelDavid Chemouil
Published in: CAV (2) (2021)
Keyphrases
  • temporal properties
  • model checking
  • formal methods
  • decision making
  • complex systems
  • data analysis
  • expert systems
  • knowledge based systems