Guiding Formal Verification Orchestration Using Machine Learning Methods.

Eman M. Elmandouh Amr G. Wassal

Published in: ACM Trans. Design Autom. Electr. Syst. (2018)

Keyphrases

formal verification
model checking
model checker
automated verification
web services
bounded model checking
symbolic model checking
temporal logic
learning processes
functional verification
service oriented architecture
dynamic programming
fuzzy logic
open source
partial order
technology enhanced learning