Pinned Repositories
FMI-VDM-Model
A formal model of the FMI specification in VDM
debug-adapter-protocol
Defines a common protocol for debug adapters.
language-server-protocol
Defines a common protocol for language servers.
fmi-standard
Specification of the Functional Mock-up Interface (FMI)
crescendo
The Crescendo Tool
FJ-VDMJ
Fujitsu's VDMJ
fmi-ls-bus
Work on the integration of rules with the document
fmi-standard.org
Standard texts and open source software for the Functional Mockup Interface
vdmj
Formal Modelling in VDM
overture
The Overture Tool
nickbattle's Repositories
nickbattle/vdmj
Formal Modelling in VDM
nickbattle/FJ-VDMJ
Fujitsu's VDMJ
nickbattle/crescendo
The Crescendo Tool
nickbattle/fmi-ls-bus
Work on the integration of rules with the document
nickbattle/fmi-standard.org
Standard texts and open source software for the Functional Mockup Interface