Geeks
microsoft
/
vcc
A static verifier for concurrent C programs
Primary Language
C#
Other
NOASSERTION
vcc GitHub
Markdown
Readme
2
Issues
128
Stargazers
13
Watchers
Issues
Closed issue
Question: The vcc has the end of life?
#3 opened
4 years ago
by
master-q
1
Closed issue
Links are dead
#1 opened
4 years ago
by
coolya
1