Incremental system verification and synthesis of minimally restrictive behaviours

Simple item page
dc.contributor.authorMalik, Robi
dc.coverage.spatialConference held at Chicago, Illinoisen_NZ
dc.date.accessioned2008-11-11T01:21:01Z
dc.date.available2008-11-11T01:21:01Z
dc.date.issued2000
dc.description.abstractAn incremental approach to system verification is proposed, for system behaviours and safety properties described by means of finite-string languages and finite-state automata. Properties are verified with respect to subsystems of the overall system, nevertheless allowing assertions to be made about the entire system satisfying such properties. The proposed approach considers satisfaction of properties, controllability, and synthesis as successive verification steps. Furthermore, it allows the incremental augmentation of the system to be verified: after each verification step, either the desired property is verified, or a counter example is obtained, which, together with heuristics, provides the basis for the augmentation of a given subsystem for the next verification step.en_US
dc.format.mimetypeapplication/pdf
dc.identifier.citationMalik, Robi (2000). Incremental system verification and synthesis of minimally restrictive behaviours. Proceedings of the 2000 American Control Conference, 6, 4056-4061.en_US
dc.identifier.doi10.1109/ACC.2000.876984en_US
dc.identifier.urihttps://hdl.handle.net/10289/1294
dc.language.isoen
dc.publisherIEEEen_NZ
dc.relation.isPartOfProc 2000 American Control Conference, Volume 6en_NZ
dc.rightsCopyright IEEE 2000.
dc.sourceACC 2000en_NZ
dc.titleIncremental system verification and synthesis of minimally restrictive behavioursen_US
dc.typeConference Contributionen_US
pubs.begin-page4056en_NZ
pubs.elements-id15223
pubs.end-page4061en_NZ
pubs.finish-date2000-06-30en_NZ
pubs.start-date2000-06-28en_NZ
pubs.volume6en_NZ
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Malik - Incremental.pdf
Size:
166.8 KB
Format:
Adobe Portable Document Format
Thumbnail Image
Name: Malik - Incremental.pdf
Size: 166.8 KB
Kind: Adobe PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.79 KB
Format:
Item-specific license agreed upon to submission
Description:
Name: license.txt
Size: 1.79 KB
Kind: License
Collections
Computing and Mathematical Sciences Papers