Login / Signup

Extracting and Optimizing Formally Verified Code for Systems Programming.

Eleftherios IoannidisM. Frans KaashoekNickolai Zeldovich
Published in: NFM (2019)
Keyphrases
  • complex systems
  • genetic algorithm
  • multi agent
  • distributed systems
  • knowledge based systems
  • legacy systems
  • real time
  • data sets
  • multi agent systems
  • expert systems
  • source code
  • embedded systems
  • program code