Incompleteness of states w.r.t. traces in model checking

13 years 11 months ago

Cousot and Cousot introduced and studied a general past/future-time specification language, called

Roberto Giacobazzi, Francesco Ranzato

IANDC 2006 | Semantics | Standard State-based Semantics | Time-symmetric Trace-based Semantics |

claim paper

Added	12 Dec 2010
Updated	12 Dec 2010
Type	Journal
Year	2006
Where	IANDC
Authors	Roberto Giacobazzi, Francesco Ranzato

Comments (0)