View source for MOP Logic Repository

One of the most distinctive features of [[MOP]] is its generality w.r.t. logical formalisms. Specifically, [[MOP]] supports an extensible logic framework, allowing the user to add her/his favorite or domain-specific specification formalisms via '''''logic plugins''''', which implement monitor synthesis algorithms for corresponding logical formalisms. This page lists the logic plugins presently developed for MOP (which have graphical output; more to come).

* [[Special:EREEngineOnline | Extended Regular Expression Online Interface]] (ERE)
* [[Special:CFGPluginOnline | Context Free Grammar Online Interface]] (CFG)
* [[Special:FTLTLEngineOnline | Future Time Linear Temporal Logic Online Interface]] (FTLTL)
* [[Special:PTLTLEngineOnline | Past Time Linear Temporal Logic Online Interface]] (PTLTL)
* [[Special:PTCaRetEngineOnline | Past Time Linear Temporal Logic with Nested Calls and Returns Online Interface]] (PTLTL)

== Send us Your Logic! ==

Currently, we only accept new logic plugins via emails. To submit a new logic plugin, please pack the whole plugin as one file and send it to fsl AT cs.uiuc.edu. A detailed Readme file is highly recommanded. After the plugin is tested, we will publish it in our repository.

 Related Projects: [[Monitoring-Oriented Programming]]; [[JavaMOP]];