Login / Signup
Applying Formal Verification Techniques to Ambient Assisted Living Systems.
Kawtar Benghazi Akhlaki
María Visitación Hurtado
María Luisa Rodríguez
Manuel Noguera
Published in:
OTM Workshops (2009)
Keyphrases
</>
formal verification
living systems
model checking
artificial life
automated verification
computer vision
model checker
bounded model checking
biological systems
symbolic model checking
biologically inspired
temporal logic