Layered Modes

Sandro Etalle, Maurizio Gabbrielli

Research output: Contribution to conferencePaperAcademic

9 Downloads (Pure)


We introduce here layered modes, an extension of existing mode systems which allow us to enlarge the class of programs which can be verified by sung modes. In particular, we show that this extension allows us to better handle programs that employ a dynamic slection rule and programs that use incomplete data structures such as difference-lists.
Original languageUndefined
Publication statusPublished - 1996


  • IR-56236

Cite this

Etalle, S., & Gabbrielli, M. (1996). Layered Modes. 41-52.