Login / Signup

Property Preserving Abstractions for the Verification of Concurrent Systems.

Claire LoiseauxSusanne GrafJoseph SifakisAhmed BouajjaniSaddek Bensalem
Published in: Formal Methods Syst. Des. (1995)
Keyphrases
  • concurrent systems
  • temporal logic
  • distributed systems
  • model checking
  • process algebra
  • formal specification
  • transition systems
  • petri net
  • high level
  • databases
  • information systems
  • model checker