Title :
Automatic verification on the large
Author :
Wang, Farn ; Hsiung, Pao-Ann
Author_Institution :
Inst. of Inf. Sci., Acad. Sinica, Taipei, Taiwan
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;
Conference_Titel :
High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-9221-9
DOI :
10.1109/HASE.1998.731605
