Sthread: In-Vivo Model Checking of Multithreaded Programs
This work strives to make formal verification of POSIX multithreaded programs easily accessible to general programmers. Sthread operates directly on multithreaded C/C++ programs, without the need for an intermediate formal model. Sthread is in-vivo in that it provides a drop-in replacement for the p...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
AOSA Inc.
2020
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher |