Context Navigation

Executions.ma

	Rev	Age	Author	Log Message
(edit)	@2682	8 years	campbell	Don't apply inv in after_n_steps to last state.
(edit)	@2487	8 years	campbell	Set up "after_n_steps" to enforce an invariant on states.
(edit)	@2338	9 years	campbell	Use much nicer definition for making several steps in the labelling …
(edit)	@2206	9 years	campbell	Add note about cost maps to simulation definition.
(edit)	@2203	9 years	campbell	A general result about simulations of executions.
(add)	@2202	9 years	campbell	Start defining equivalent executions.

Note: See TracRevisionLog for help on using the revision log.