GitHub - bigmc/bigmc-gui: A simple GUI interface to the BigMC Bigraphical Model Checker · GitHub

Repository navigation

bigmc-gui

Public

About

A simple GUI interface to the BigMC Bigraphical Model Checker

bigraph.org/bigmc

Custom properties

2 stars

0 watching

Report repository

Name		Name	Last commit message	Last commit date
contrib/jsyntaxpane/jsyntaxpane		contrib/jsyntaxpane/jsyntaxpane
lib		lib
media		media
src/java/org/bigraph/bigmc/gui		src/java/org/bigraph/bigmc/gui
.gitignore		.gitignore
bigmc-small.png		bigmc-small.png
bigmc-tiny.ico		bigmc-tiny.ico
bigmc.icns		bigmc.icns
bigmc.png		bigmc.png
build.xml		build.xml
launch4j.xml		launch4j.xml

About

A simple GUI interface to the BigMC Bigraphical Model Checker

bigraph.org/bigmc

Custom properties

2 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages