Login / Signup
A formal verification of dynamic updating in a Java-based embedded system.
Razika Lounas
Mohamed Mezghiche
Jean-Louis Lanet
Published in:
Int. J. Crit. Comput. Based Syst. (2017)
Keyphrases
</>
formal verification
model checking
automated verification
lightweight
model checker
dynamically updated
bounded model checking
dynamic environments
symbolic model checking
genetic algorithm
mobile robot
mobile agents