GitHub - systerel/RodinCore: Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the Event-B formal method and provides natural support for refinement and mathematical proof.

systerel / RodinCore Public

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

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the Event-B formal method and provides natural support for refinement and mathematical proof.

www.event-b.org

5 stars 3 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 10,568 Commits
_exploratory		_exploratory
ch.ethz.eventb.keyboard.latex		ch.ethz.eventb.keyboard.latex
fr.systerel.editor-feature		fr.systerel.editor-feature
fr.systerel.editor.help		fr.systerel.editor.help
fr.systerel.editor.tests		fr.systerel.editor.tests
fr.systerel.editor		fr.systerel.editor
fr.systerel.explorer.tests		fr.systerel.explorer.tests
fr.systerel.explorer		fr.systerel.explorer
org.eventb.core.ast.tests		org.eventb.core.ast.tests
org.eventb.core.ast		org.eventb.core.ast
org.eventb.core.seqprover.doc.isv		org.eventb.core.seqprover.doc.isv
org.eventb.core.seqprover.tests		org.eventb.core.seqprover.tests
org.eventb.core.seqprover		org.eventb.core.seqprover
org.eventb.core.tests		org.eventb.core.tests
org.eventb.core		org.eventb.core
org.eventb.doc.user		org.eventb.doc.user
org.eventb.ide-feature		org.eventb.ide-feature
org.eventb.ide		org.eventb.ide
org.eventb.keyboard.tests		org.eventb.keyboard.tests
org.eventb.keyboard		org.eventb.keyboard
org.eventb.parent		org.eventb.parent
org.eventb.pp.tests		org.eventb.pp.tests
org.eventb.pp.ui		org.eventb.pp.ui
org.eventb.pp		org.eventb.pp
org.eventb.pptrans.tests		org.eventb.pptrans.tests
org.eventb.pptrans		org.eventb.pptrans
org.eventb.ui.icons		org.eventb.ui.icons
org.eventb.ui.symboltable.tests		org.eventb.ui.symboltable.tests
org.eventb.ui.symboltable		org.eventb.ui.symboltable
org.eventb.ui.tests		org.eventb.ui.tests
org.eventb.ui		org.eventb.ui
org.rodinp-feature		org.rodinp-feature
org.rodinp.core.emf.tests		org.rodinp.core.emf.tests
org.rodinp.core.emf		org.rodinp.core.emf
org.rodinp.core.tests		org.rodinp.core.tests
org.rodinp.core		org.rodinp.core
org.rodinp.dev		org.rodinp.dev
org.rodinp.keyboard.core.tests		org.rodinp.keyboard.core.tests
org.rodinp.keyboard.core		org.rodinp.keyboard.core
org.rodinp.keyboard.ui.tests		org.rodinp.keyboard.ui.tests
org.rodinp.keyboard.ui		org.rodinp.keyboard.ui
org.rodinp.platform-feature		org.rodinp.platform-feature
org.rodinp.platform.repository		org.rodinp.platform.repository
org.rodinp.platform.tests-feature		org.rodinp.platform.tests-feature
org.rodinp.platform		org.rodinp.platform
org.rodinp.releng		org.rodinp.releng
org.rodinp		org.rodinp
.gitattributes		.gitattributes
.gitignore		.gitignore
pom.xml		pom.xml