Example specifications |
Real-Time Maude has been used to model analyze some large specifications, including the AER/NCA active networks multicast protocol, a series of new real-time scheduling algorithms, and a multicast protocol currently developed by the Internet Engineering Task Force. I will add the Real-Time Maude specifications and analysis command here ASAP, when the appropriate technical reports have been written. In the mean-time, I present here some of the very simple toy examples used in the manual and other places. In general, the commands used to execute the systems in the example have been commented away.