Context-Bounded Verification of Liveness Properties for Multithreaded Shared-Memory Programs: Intro

by
March 15th, 2024
featured image - Context-Bounded Verification of Liveness Properties for
Multithreaded Shared-Memory Programs: Intro

About Author

MultiThreading.Tech: #1 Publication on Concurrent Programming HackerNoon profile picture

Research to enable more than one user at a time without requiring multiple copies of the program running on the computer

Comments

avatar

TOPICS

THIS ARTICLE WAS FEATURED IN

Related Stories