start
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| start [2020/11/17 00:52] – external edit 127.0.0.1 | start [2020/11/19 00:37] (current) – [Introduction to the tool] conan | ||
|---|---|---|---|
| Line 9: | Line 9: | ||
| ===== Introduction to the tool ===== | ===== Introduction to the tool ===== | ||
| - | Our tool is built as a plugin of the model checker ePMC, and now is publicly available on GitHub at [[https:// | + | Our tool is built as a plugin of the model checker ePMC, and now is publicly available on GitHub at [[https:// |
| ===== Future work ===== | ===== Future work ===== | ||
start.1605545570.txt.gz · Last modified: 2020/11/19 00:37 (external edit)