Chapter

From Programs to Systems. The Systems perspective in Computing

Volume 8415 of the series Lecture Notes in Computer Science pp 177-192

The Unmet Challenge of Timed Systems

  • Oded MalerAffiliated withCNRS-VERIMAG, University of Grenoble

* Final gross prices may vary according to local VAT.

Get Access

Abstract

Timed systems constitute a class of dynamical systems that live in an extremely useful level of abstraction. The paper stresses their importance in modeling without necessarily endorsing the orthodox approach for reasoning about them which is practiced in the theoretical and applied branches of formal verification.