MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Transition Invariants." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

236 documents found, showing 1 through 10. Next 10 →

ATOM

Transition Invariants
by Andreas Podelski, Andrey Rybalchenko
… and relatively complete) proof rule whose auxiliary assertions are transition invariants. A transition invariant…
Cited by 35 (12 self) – Add To MetaCart

Transition invariants in . . .
by Maike Gajewsky, Claudia Ermel — 1999 — TH WORLD CONFERENCE ON INTEGRATED DESIGN AND PROCESS TECHNOLOGY
…Transition Invariants in Algebraic High-Level Nets Maike Gajewsky Claudia Ermel Institut fur…
Add To MetaCart

Transition invariants in Algebraic High-. . .
by Maike Gajewsky, Claudia Ermel — 2000 — TH WORLD CONFERENCE ON INTEGRATED DESIGN AND PROCESS TECHNOLOGY
…://tfs.cs.tu-berlin.de/petri/Allpublications/Year2000/ Transition Invariants in Algebraic High-Level Nets Maike Gajewsky Claudia Ermel Institut fur…
Add To MetaCart

Transition Invariants in Algebraic High-Level Nets
by Maike Gajewsky, Claudia Ermel — 1999 — th World Conference on Integrated Design and Process Technology
…Transition Invariants in Algebraic High-Level Nets Maike Gajewsky Claudia Ermel Institut fur…
Cited by 1 (1 self) – Add To MetaCart

Strengthened State Transitions for Invariant Verification in Practical Depth-Induction ∗
by Péter Bokor
…Strengthened State Transitions for Invariant Verification in Practical Depth-Induction ∗ Péter…
Add To MetaCart

March 15, 1999
by Maike Gajewsky, Claudia Ermel — 2000 — th World Conference on Integrated Design and Process Technology
…://tfs.cs.tu-berlin.de/petri/Allpublications/Year2000/ Transition Invariants in Algebraic High-Level Nets Maike Gajewsky Claudia Ermel Institut fur…
Add To MetaCart

Rule-Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems
by J. Padberg, B. E. Enders — 2001 — Proc. ICGT 2002: Firs International Conference on Graph Transformation, volume 2505 of LNCS
… for investigating a model. Hence, we have transferred transition invariants to rule invariants in graph…
Cited by 2 (0 self) – Add To MetaCart

Concurrency Tradeoffs in Dynamic Adaptation 1
by unknown authors
… on transitional-invariant lattice for verifying the correctness of dynamic adaptation. The size (number of nodes…
Add To MetaCart

Petri net based model validation in systems biology
by Monika Heiner, Ina Koch — 2004 — In 25th International Conference on Application and Theory of Petri Nets
… and transition invariants. We discuss special properties, which are characteristic ones for biological pathways…
Cited by 13 (6 self) – Add To MetaCart

Verifying Network Protocol Implementations by Symbolic Refinement Checking
by Rajeev Alur, Bow-yaw Wang — 2001 — In Proc. CAV ’01, LNCS 2102
… reduces to checking transition invariants. The methodology is illustrated on two case-studies involving…
Cited by 18 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB