Improvements to PA emptiness check

zkincaid / duet

Duet: static analysis for unbounded concurrency

http://duet.cs.toronto.edu

MIT License

23 stars 16 forks source link

Improvements to PA emptiness check #6

Closed tm507211 closed 7 years ago

tm507211 commented 7 years ago

Improves the PA emptiness check. Implements monadic embedding queries as bipartite maximum graph matching. Also implements a search tree for a directed search for a covering configuration.