Christopher Steinmuller

Learn More
Formal verification of the trusted computing base of a software system is essential for its deployment in mission-critical environments. Commercial off-the-shelf routers are nowadays being used for managing traffic in high-assurance networks. The specifications for the development of these routers are provided by RFCs that are only described informally in(More)
  • 1