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[]
- ↑ Dines Bjorner, Lecture notes.
- ↑ Dines Bjorner, Lecture slides.
External links[]
- CoMet website
- Dines Bjørner's T.U.Wien Course Web Page, 12-30 April 2010