Bus Finite State Machine (BusFSM) Plugin
BusFSM is an instance of MOP for monitoring PCI Bus traffic and for FSM specifications. This instance is technically unnecessary, since one can simply run BusMOP with FSM specifications, which is precisely what the online interface below does. BusFSM has, however, conceptual (and potentially theoretical) value; many Bus users prefer to specify properties exclusively as finite state machines.
Funding
This work was supported in part by NSF grant CNS-0720512. Any opinions, findings, and conclusions or recommendations expressed in this web-site are those of the authors and do not necessarily reflect the views of the NSF.