Login / Signup

Efficient Operational Semantics for for Verification of Temporal Properties.

Dimitris VekrisCatalin Dima
Published in: FSEN (2013)
Keyphrases
  • temporal properties
  • operational semantics
  • model checking
  • formal methods
  • neural network
  • database systems
  • rough sets
  • knowledge based systems
  • formal semantics