Login / Signup

Multi-core model checking and maximum satisfiability applied to hardware-software partitioning.

Alessandro Bezerra TrindadeRenato De Faria DegeloEdilson Galvão Dos Santos JuniorHussama Ibrahim IsmailHelder Cruz Da SilvaLucas Carvalho Cordeiro
Published in: Int. J. Embed. Syst. (2017)
Keyphrases
  • model checking
  • temporal logic
  • formal verification
  • finite state
  • formal specification
  • formal methods
  • hardware software partitioning
  • verification method
  • lower bound
  • np hard
  • linear programming