LTL model checking for communicating concurrent programs
Sign Up to like & getrecommendations! Published in 2020 at "Innovations in Systems and Software Engineering"
DOI: 10.1007/s11334-020-00363-6
Abstract: We present in this paper a new approach to the static analysis of concurrent programs with procedures. To this end, we model multi-threaded programs featuring recursive procedure calls and synchronization by rendezvous between parallel threads… read more here.
Keywords: ltl model; concurrent programs; checking communicating; model ... See more keywords
LTL Model Checking Based on Binary Classification of Machine Learning
Sign Up to like & getrecommendations! Published in 2019 at "IEEE Access"
DOI: 10.1109/access.2019.2942762
Abstract: Linear Temporal Logic (LTL) Model Checking (MC) has been applied to many fields. However, the state explosion problem and the exponentially computational complexity restrict the further applications of LTL model checking. A lot of approaches… read more here.
Keywords: model; machine learning; ltl model; model checking ... See more keywords