Towards Classification of Lightweight Formal Methods.

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

Published in: CoRR (2018)

Keyphrases

lightweight
formal methods
machine learning
model checking
formal analysis
artificial intelligence
communication infrastructure
formal specification
development environments
database
wireless sensor networks
databases
data mining
knowledge base
case study