← all publishers

eventb-rossi

@eventb-rossi source repo

Report this profile Claim this profile

• 1 skill
• 0 followers
• 1 day ago last updated

1. ▌
   Eventb · eventb-rossi bundle

   Write and check Event-B formal models as `.eventb` text: contexts, machines, invariants, events, and justified refinement chains. Use for Event-B, Rodin, rossi, ProB/model checking, or requirements that need a discrete formal model. The core workflow uses rossi plus eventb-animate; interactive proof authoring is out of scope.
   0
   installs