Login / Signup

Osiris: A Tool for Abstraction and Verification of Control Software with Lookup Tables.

Nikos AréchigaSumanth DathathriShashank VernekarNagesh KathareSicun GaoShinichi Shiraishi
Published in: SCAV@CPSWeek (2017)
Keyphrases
  • control software
  • lookup tables
  • basis functions
  • state space
  • dynamic environments
  • linear combination
  • model checking