LAUSR

About LAUSR
Donate
Contact Us

Follow us:

You are not signed in:

Sign Up!


   Articles with "checking communicating" as a keyword



Photo by thinkmagically from unsplash

LTL model checking for communicating concurrent programs

Sign Up to like & get
recommendations! 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