Sciweavers

21 search results - page 1 / 5

» fmcad 2007

8

FMCAD
2007
Springer

102views Formal Methods» more FMCAD 2007»

What Triggers a Behavior?

13 years 11 months ago

What Triggers a Behavior?

Download www.cs.rice.edu

Orna Kupferman, Yoad Lustig

claim paper

Read More »

10

FMCAD
2007
Springer

93views Formal Methods» more FMCAD 2007»

Checking Safety by Inductive Generalization of Counterexamples to Induction

13 years 11 months ago

Checking Safety by Inductive Generalization of Counterexamples to Induction

Download theory.stanford.edu

Aaron R. Bradley, Zohar Manna

claim paper

Read More »

8

FMCAD
2007
Springer

97views Formal Methods» more FMCAD 2007»

Algorithmic Analysis of Piecewise FIFO Systems

13 years 11 months ago

Algorithmic Analysis of Piecewise FIFO Systems

Download userweb.cs.utexas.edu

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

claim paper

Read More »

8

FMCAD
2007
Springer

90views Formal Methods» more FMCAD 2007»

Automatic Abstraction in Symbolic Trajectory Evaluation

13 years 11 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 »

12

FMCAD
2007
Springer

79views Formal Methods» more FMCAD 2007»

Two-Dimensional Regular Expressions for Compositional Bus Protocols

13 years 11 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 »