Login / Signup
Bounded Verification of Multi-threaded Programs via Lazy Sequentialization.
Omar Inverso
Ermenegildo Tomasco
Bernd Fischer
Salvatore La Torre
Gennaro Parlato
Published in:
ACM Trans. Program. Lang. Syst. (2022)
Keyphrases
</>
multi threaded
java programs
operating system
multi core processors
information flow
computer architecture
real time
model checking
multithreading
general purpose
formal methods
information systems
data management
access control