Login / Signup
Verification of Object-Z Specifications by Using Transition Systems: Application to the Radiomobile Network Design Problem.
Pablo Gruer
Vincent Hilaire
Abder Koukam
Published in:
FASE (2000)
Keyphrases
</>
transition systems
concurrent systems
model checking
network design problem
temporal logic
model checker
control flow
formal specification
network design
reactive systems
evolutionary algorithm
upper bound
petri net
formal verification