David Tremaine

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
A critical step towards certifying safety-critical systems is to check their conformance to hard real-time requirements. A promising way to achieve this is by building the systems from pre-verified components and verifying their correctness in a compositional manner. We previously reported a formal approach to verifying function blocks (FBs) using tabular(More)
  • 1