Learn More
The focus of this paper is on an approach to the automatic failure detection of reactive software systems called speciication-based supervision. Assumed is that the software is speciied in a formalism based on communicating extended nite state machines (CEFSMs). The major diiculty in supervising such systems is that the supervisor must account for all(More)
  • 1