CoMet (Comparative Methodology) is a programming methodology project proposal by Dines Bjorner.

Existing lecture notes[1] and slides[2] use the RAISE formal method. It is planned to extend this to Alloy, Event-B, VDM, and Z.

References[edit | edit source]

  1. Dines Bjorner, Lecture notes.
  2. Dines Bjorner, Lecture slides.

External links[edit | edit source]

Community content is available under CC-BY-SA unless otherwise noted.