Analysis of TLcharts for weapon systems software development
The success of formal specifications and reactive systems is highly dependant on the formal specification language being used. To date, the most common approach to this problem involves two activities: (i) the specification activity, where correctness properties are specified, and (ii) verificatio...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Published: |
Monterey, California. Naval Postgraduate School
2012
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10945/1825 |