The cost of formal verification in adaptive CPS. An example of a virtualized server node Conference Contributions uri icon

authors

  • BERSANI, MARCELLO M.
  • GARCIA VALLS, MARIA SOLEDAD

event

  • 17th IEEE International Symposium on High Assurance Systems Engineering (HASE 2016 )

event place

  • Orlando

country

  • ESTADOS UNIDOS DE AMERICA

participation category

  • PONENCIA

main title

  • The 17th IEEE International Symposium on High Assurance Systems Engineering (HASE 2016), 7-9 January 2016, Orlando, Florida. Proceedings

edition country

  • ESTADOS UNIDOS DE AMERICA

publication date

  • 2016

start page

  • 39

end page

  • 46

isbn

  • 978-1-4673-9912-8

keywords

  • verification; cyber-physical systems; virtualization; resource management; real-time; linear temporal logic