Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

IANDC
2006

favoriteEmaildiscussreport

52views more IANDC 2006»

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

13 years 4 months ago

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

Download www.math.unipd.it

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

Roberto Giacobazzi, Francesco Ranzato

Real-time Traffic

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

claim paper

Related Content

» OnLine Timed Protocol Trace Analysis Based on Uncertain State Descriptions

» Inferring FiniteState Models with Temporal Constraints

» Directed Explicit StateSpace Search in the Generation of Counterexamples for Stochastic Mo...

» Trace analysis of Erlang programs

» Nevertrace Claims for Model Checking

» The Implementation of Mazurkiewicz Traces in POEM

» TransitionBased Directed Model Checking

» A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems

» Symbolic Bounded Conformance Checking of Model Programs

Post Info
More Details (n/a)

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

Comments (0)