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

bigmc / bigmc-gui Public

Notifications You must be signed in to change notification settings
Fork 3
Star 2

A simple GUI interface to the BigMC Bigraphical Model Checker

bigraph.org/bigmc

2 stars 3 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 18 Commits
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

Report repository

Releases

No releases published

Packages

No packages published

Languages

Java 100.0%