Towards Classification of Lightweight Formal Methods.

Anna Zamansky Maria Spichkova Guillermo Rodríguez-Navas Peter Herrmann Jan Olaf Blech

Published in: ENASE (2018)

Keyphrases

lightweight
formal methods
machine learning
model checking
rfid tags
dos attacks
model checker
communication infrastructure
database systems
safety critical
development environments
development lifecycle