July 4th, 2006WCET 06, Timing Anomalies, Jan Reineke Hardware Model + Abstraction Do not model abstraction explicitly: Hardware Model = Maps program to transition system + set of locality constraints Remark: possible to define correctness condition for abstract model
{}