We build powerful technology for managing the behaviour of distributed machines, applications and systems, with a tamper-proof audit trail.