Login / Signup
Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes.
Reynald Affeldt
Naoki Kobayashi
Published in:
EXPRESS (2004)
Keyphrases
</>
model checking
partial order reduction
process algebra
formal verification
temporal logic
petri net
formal methods
verification method
formal specification
case study
neural network
real world
information systems
evolutionary algorithm
computational models
linear time temporal logic