Formal Verification of a Rover Anti-collision System.

Ning Ge Eric Jenn Nicolas Breton Yoann Fonteneau

Published in: FMICS-AVoCS (2016)

Keyphrases

formal verification
anti collision
model checking
radio frequency
bounded model checking
rfid systems
model checker
symbolic model checking
automated verification
rfid technology
rfid tags
program slicing
real time
temporal logic