Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Formal verification of timed systems: a survey and perspective
Автор: Wang F.
An overview of the current state of the art of formal verification of real-time systems is presented. We discuss commonly accepted models, specification languages, verification frameworks, state-space representation schemes, state-space construction procedures,eduction techniques, pioneering tools, and finally some new related issues. We also make a few comments according to our experience with verification tool design and implementation.