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.

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

About

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

eclipse-ide formal-methods event-b