Login / Signup
Property Preserving Abstractions for the Verification of Concurrent Systems.
Claire Loiseaux
Susanne Graf
Joseph Sifakis
Ahmed Bouajjani
Saddek 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