property NetLimitOpenConnections (n: int) {
requires GlobalNetworkOpenState;
check RNetwork.preOpenConnection (connection: RNetConnection) {
if (openConnections.size () >= n) {
violation ("Too many open connections. Only " +
n + " open connections allowed.");
}
}
}
Naccio Home Page
University of Virginia, Computer Science