R. Armadio

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
CerCo ('Certified Complexity') aims to develop tools for reasoning about intensional properties of programs written in high level languages. If successful, it will be possible to write correct hard real time programs and to formally prove, in a high level way, that programs meet all deadlines. Further, as many clock cycles as possible can be wrought from(More)
  • 1