• Peter G Larsen:
  • Nationality: DK
  • Education: PhD of DTU.
  • Note: Maintainer of Overture
• Marcel Verhoef:
  • Nationality: NL
  • Education: PhD.
  • Note: MSc in 92 together with Peter G Larsen
• Nick Battle:
  • Nationality: UK
  • Education: BA, Computer Science at University of Cambridge
  • Note: Developer of VDMJ at Fujutsu
• John Fitzgerald
  • Nationality: UK
  • Education: PhD, Computing and Information System of Manchester
  • Note: Wrote two books together with Peter G Larsen
• Shin Nicolai Sahara
  • Nationality: JP
  • Note: Responsible for the development of VDM Tools at CSK
• Miguel Gentux:
  • Nationality: PT
  • Education: MSc, Minho University.
  • Note: Used VDM++ and description tools from Sander Vermolen to describe properties of a grand challenge of Posix.
• Zhenbang Chen:
  • Nationality: CN
  • Note: Member of the rCos group
• Sander Vermolen:
  • Nationality: NL
  • Education: PhD of TU Delft
  • Note: Created tool to move proof obligation from VDM to HOL
• Hugo Macedo:
  • Nationality: PT
  • Education: PhD of Minho + CMU
  • Note: Worked on the peacemaker grand challenge
• Augusto Ribeiro:
  • Nationality: PT
  • Education: MSc of Minho
  • Note: Proof obligation for recursive functions
• Carlos Vihena:
  • Nationality: PT
  • Education: MSc of Minho
  • Note: Worked on VDM-JML
• Adriana Sucena Santos
  • Nationality: PT
  • Education: MSc of Minho
  • Note: Test tool, traces in VDM
• Kenneth Lausdahl
  • Nationality: DK
  • Education: MSc of Aarhus University
  • Note: UML transformation
• Hans Kristian Lintrup
  • Nationality: DK
  • Education: MSc of Aarhus University
  • Note: UML transformation
• Christian Thillemann:
  • Nationality: DK
  • Education: BA of IHA
  • Note: Will work on a VDM Editor in his MSc

Overture