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