nickbattle

Self EmployedBracknell

Pinned Repositories

FMI-VDM-Model
A formal model of the FMI specification in VDM
Language:HTML12 21 222
debug-adapter-protocol
Defines a common protocol for debug adapters.
Language:HTML1.4k 63 288129
language-server-protocol
Defines a common protocol for language servers.
Language:HTML11.1k 262 1.1k776
fmi-standard
Specification of the Functional Mock-up Interface (FMI)
Language:C262 59 1.1k85
crescendo
The Crescendo Tool
Language:Java00
FJ-VDMJ
Fujitsu's VDMJ
Language:Java1 2 00
fmi-ls-bus
Work on the integration of rules with the document
0 1 00
fmi-standard.org
Standard texts and open source software for the Functional Mockup Interface
Language:SCSS0 1 00
vdmj
Formal Modelling in VDM
Language:Java26 9 5521
overture
The Overture Tool
Language:Java49 27 71425

nickbattle's Repositories

nickbattle/vdmj
Formal Modelling in VDM
Language:Java26 9 5521
nickbattle/FJ-VDMJ
Fujitsu's VDMJ
Language:Java1 2 00
nickbattle/crescendo
The Crescendo Tool
Language:Java00
nickbattle/fmi-ls-bus
Work on the integration of rules with the document
0 1 00
nickbattle/fmi-standard.org
Standard texts and open source software for the Functional Mockup Interface
Language:SCSS0 1 00