Sciweavers

21 search results - page 1 / 5

» fmcad 2007

22

FMCAD
2007
Springer

102views Formal Methods» more FMCAD 2007»

What Triggers a Behavior?

14 years 5 months ago

What Triggers a Behavior?

Download www.cs.rice.edu

Orna Kupferman, Yoad Lustig

claim paper

Read More »

27

FMCAD
2007
Springer

93views Formal Methods» more FMCAD 2007»

Checking Safety by Inductive Generalization of Counterexamples to Induction

14 years 5 months ago

Checking Safety by Inductive Generalization of Counterexamples to Induction

Download theory.stanford.edu

Aaron R. Bradley, Zohar Manna

claim paper

Read More »

23

FMCAD
2007
Springer

97views Formal Methods» more FMCAD 2007»

Algorithmic Analysis of Piecewise FIFO Systems

14 years 5 months ago

Algorithmic Analysis of Piecewise FIFO Systems

Download userweb.cs.utexas.edu

Naghmeh Ghafari, Arie Gurfinkel, Nils Klarlund, Ri...

claim paper

Read More »

22

FMCAD
2007
Springer

90views Formal Methods» more FMCAD 2007»

Automatic Abstraction in Symbolic Trajectory Evaluation

14 years 5 months ago

Automatic Abstraction in Symbolic Trajectory Evaluation

Download www.sara-adams.de

Sara Adams, Magnus Björk, Thomas F. Melham, C...

claim paper

Read More »

28

FMCAD
2007
Springer

79views Formal Methods» more FMCAD 2007»

Two-Dimensional Regular Expressions for Compositional Bus Protocols

14 years 5 months ago

Two-Dimensional Regular Expressions for Compositional Bus Protocols

Download web.cs.wpi.edu

—Bus and interconnect protocols contain a few core operations (such as read and write transfers) whose behaviors interleave to form complex executions. Speciﬁcations of the cor...

Kathi Fisler

claim paper

Read More »

« Prev « First page 1 / 5 Last » Next »