The HCM project De Stijl

P A R T I C I P A N T S
University of Groningen Gerard Renardel de Lavalette Site presentation Projects: Formal System Analysis, Dynamics in specification languages, Theorem provers and Specification Languages Language: AFSL	University of Utrecht Jan Bergstra Kees Middelburg (currently on leave to IIST, UNU, Macau) Languages: VVSL and SDL.
Philips Research Laboratories Tineke de Bunje Loe Feijs (TUE) Language: COLD	Technical University of Denmark Bo Stig Hansen Claus Pahl (now at University College Cork, Cork, Ireland) Language: RAISE, VDM-SL.
University of Munich Martin Wirsing Pietro Cenciarelli Maria Victoria Cengarle Stefan Gastinger Bernhard Reus Language: SPECTRUM, ASL. System: CSDM	Trinity College Dublin Michael Mac An Airchinnigh Andrew Butterfield Formal Methods Group of TCD. Language: VDM (in particular the The "Irish School" of the VDM)