Giters

uuverifiers / horn-concurrency

Encoding of concurrent or replicated programs using Horn clauses

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

horn-concurrency

Encoding of concurrent or replicated programs using Horn clauses

About

Encoding of concurrent or replicated programs using Horn clauses

License:BSD 2-Clause "Simplified" License

Languages

Language:Scala 100.0%