• Join/Login
  • Business Software
  • Open Source Software
  • For Vendors
  • Blog
  • About
  • More
    • Articles
    • Create
    • SourceForge Podcast
    • Site Documentation
    • Subscribe to our Newsletter
    • Support Request
SourceForge logo
For Vendors Help Create Join Login
SourceForge logo
SourceForge logo
Business Software
Open Source Software
SourceForge Podcast
Resources
  • Articles
  • Case Studies
  • Blog
Menu
  • Help
  • Create
  • Join
  • Login
  • Home
  • Open Source Software
  • Software Development
  • Integrated Development Environments (IDE)
  • RODIN
  • Support
RODIN

RODIN Support

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang
  • Summary
  • Files
  • Reviews
  • Support
  • Mailing Lists
  • Tickets ▾
    • Theories Library
    • CodeGeneration
    • Patches
    • Support Requests
    • Feature Requests
    • Bugs
    • iUML-B_Tracker
    • Theories Bug Tracker
  • News
  • Svn
  • Git ▾
    • SMT
    • RodinCore
    • Event-B Utils
    • CodeGen
    • iUML_B
    • EMF_EVENT_B
    • Pattern
    • Qualitative Probability
    • iUML-B Utilities
    • More...

Best Way to Get Help

RODIN says the best way to get help with its software is by using its mailing list rodin-b-sharp-user.

Other Ways Of Getting Help

Here are some other places where you can look for information about this project.

Project Mailing Lists

  • Mailing Lists

Project Trackers

  • Theories Library
  • CodeGeneration
  • Patches
  • Support Requests
  • Feature Requests
  • Bugs
  • iUML-B_Tracker
  • Theories Bug Tracker
SourceForge
  • Create a Project
  • Open Source Software
  • Business Software
  • Top Downloaded Projects
Company
  • About
  • Team
  • SourceForge Headquarters
    225 Broadway Suite 1600
    San Diego, CA 92101
    +1 (858) 422-6466
Resources
  • Support
  • Site Documentation
  • Site Status
  • SourceForge Reviews
SourceForge logo
© 2025 Slashdot Media. All Rights Reserved.
Terms Privacy Opt Out Advertise
×
Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.
Thanks for helping keep SourceForge clean.
X

Briefly describe the problem (required):
Upload screenshot of ad (required):
Select a file, or drag & drop file here.
✔
✘
Screenshot instructions:

Click URL instructions:
Right-click on the ad, choose "Copy Link", then paste here →
(This may not be possible with some types of ads)

More information about our ad policies

Ad destination/click URL: