Inferring Physical Units in Formal Models
Most state-based formal methods, like B, Event-B or Z, provide support for static typing.
Abstract Interpretation
Inferring Physical Units in B Models
Most state-based formal methods, like B, Event-B or Z, provide support for static typing.