Structural Analysis and Proof
There are many techniques which can be used to analyse programs, and to demonstrate program properties, which do not require any form of program execution.
KeywordsFault Tree Process Instance Control Flow Graph Input Place Firing Sequence
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag Berlin Heidelberg 1985