Formal verification strategy for statechart based design of reconfigurable control of high integrity reactive systems
Date
2013
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
The Institution of Engineers:Colombo
Abstract
Description
Keywords
Automated high integrity reactive systems, Formal verification strategy, State charts, Railway signalling, Automatic control
Citation
Engineer, 46(2):p.13-33