An Approach to Formal Verification of Free-Flight Separation.

Sebastian Eder Graeme Smith

Published in: SASO Workshops (2010)

Keyphrases

formal verification
free flight
model checking
route planning
model checker
automated verification
symbolic model checking
bounded model checking
air traffic
program slicing
rigid body
real time
computational complexity
temporal logic