Brian Norris

Results 1 repositories owned by Brian Norris

model-checker

21
Stars
7
Forks
Watchers

CDSChecker: A Model Checker for C11 and C++11 Atomics

verified publisher icon computersforpeace