Vas - Githubissues

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 16 forks source link

Closed JakeSilverman closed 3 years ago

JakeSilverman commented 5 years ago

Fixed symbolic constants issue with VAS/VASS + added equality invariants functor