A Modal Logic for Abstract Delta Modeling (FMSPLE 2012)

This talk was given by me during the FMSPLE 2012 workshop, 02-09-2012. It summarizes the results of the paper A Modal Logic for Abstract Delta Modeling, but does not enter into great detail or formality. The paper was published in the workshop proceedings of SPLC 2012.

Attachments:
Download this file (handouts.pdf)Summary Sheets442 Kb
Download this file (slides.pdf)Slides570 Kb