EmbeddedMicrocontroller firmware: build, flash, debug and static analysis. Built and tested on recorded tool output; running an image in QEMU is verified.Avionics · Defence and space · Medical devices
HDLFPGA and ASIC design. The open flow is verified on Linux; the vendor flows are in verification.Semiconductors and FPGA · Avionics · Defence and space
AutomotiveNetworks, diagnostics and calibration. Sample-file readers, XCP and the virtual bus are verified; vendor interfaces are in verification.Automotive
EnergyIEC 61850 substations. The SCL reader and checks are verified on 292 public files, and online MMS against open-source servers.Energy and utilities
PLC and DCSTwinCAT 3 and DeltaV. Modelled, with verification kits ready.Industrial automation
MainframeCOBOL, copybooks and JCL on z/OS. The workstation path is verified on Linux; the z/OS path is in verification.Banking and mainframe
Modules in developmentDedicated modules are being built. Today: governed AI coding, named approvals and the audit record from Build and Govern.CNC and machining · Telecommunications
Nothing is verified by a customer yet. Govern works the same in every industry, with or without a module.