A
·
B
·
C
·
D
·
E
·
F
·
G
·
H
·
I
·
J
·
K
·
L
·
M
·
N
·
O
·
P
·
Q
·
R
·
S
·
T
·
U
·
V
·
W
·
X
·
Y
·
Z
·
·

Directory Results for CONCURRENT REVIEWS OF SITE PLAN AND BUILDING PERMIT to Concurrent Runtime Monitoring of ally Specified Programs.. This paper describes an application of formal specifications after an executable program has been constructed. We describe how high level specifications can be utilized to monitor critica