Blockchain, Dsls, Game Theory, Safety, Correctness.
testing). If more requests come in, they are rejected. The Interceptor Framework The rate keyword shown above is an example of an interceptor. Interceptors are associated with a state (or with a parent state in a hierarchical state machine). Every trigger or variable access that enters the machine