Difference between revisions of "MOP Logic Repository"

From FSL
Jump to: navigation, search
Line 7: Line 7:
 
== Send us Your Logic! ==
 
== Send us Your Logic! ==
  
Currently, we only accept new logic plugins via emails. In order to provide a logic plugin, please pack the whole plugin directory into one file and send it to fsl AT cs.uiuc.edu. In order for us to better test the submitted plugin, please put related information into a readme file. After we verify the plugin, we will publish it in our repository.
+
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]]
 
  Related Projects: [[Monitoring-Oriented Programming]]; [[JavaMOP]]

Revision as of 21:38, 25 October 2006

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. Presently, we have implemented logic plugins for the following specification formalisms; please follow the links for more details of these logic plugins and also to try them online.

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
Personal tools
Namespaces

Variants
Actions
Navigation