DocumentCode
2362232
Title
Automatic verification on the large
Author
Wang, Farn ; Hsiung, Pao-Ann
Author_Institution
Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
fYear
1998
fDate
13-14 Nov 1998
Firstpage
134
Lastpage
141
Abstract
An automatic verification method from a high level resource management standpoint is presented. Various manipulators can be incorporated in the method to construct, refine, reduce, and model-check state space representation. Proper combinations of manipulators can then be picked strategically by users or computers for less resource (time and space) consumption. An algorithm based on group theory to pick a manipulator combination is presented. Verification sessions are conducted to illustrate our idea
Keywords
automatic programming; group theory; program verification; automatic verification method; automatic verification on the large; group theory; high level resource management; manipulator combination; manipulators; model checking; state space representation; Application software; Hardware; Information science; Packaging; Power engineering and energy; Power engineering computing; Reactive power; Read only memory; Space technology; State-space methods;
fLanguage
English
Publisher
ieee
Conference_Titel
High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International
Conference_Location
Washington, DC
Print_ISBN
0-8186-9221-9
Type
conf
DOI
10.1109/HASE.1998.731605
Filename
731605
Link To Document