VeriPhy: verified controller executables from verified cyber-physical system models

Document Details

Document Type
Pub Defense Publication
Publication Date
Jun 11, 2018
Source ID
10.1145/3192366.3192406

Entities

People

  • AndrĂ© Platzer
  • Magnus O. Myreen
  • Rose Bohrer
  • Stefan Mitsch
  • Yong Kiam Tan

Organizations

  • Air Force Office of Scientific Research
  • Carnegie Mellon University
  • Chalmers University of Technology
  • Defense Advanced Research Projects Agency
  • National Science Foundation

Tags

Technology Areas

  • Cyber