MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Formal Methods and Dependability." – sorted by Relevance.

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

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

10 documents found, showing 1 through 10.

ATOM

Formal Methods for Dependable Real-Time Systems
by John Rushby, Fred B. Schneider Underst, John A. Stankovic — 1992
… and potentially valuable targets for formal methods since they tend to be mission and safety-critical, yet hard…
Cited by 1 (0 self) – Add To MetaCart

A Generic Proof Checker
by Ba Pgdipinftech (qld, Geoffrey Norman Watson, Geoffrey Norman Watson — 2001
…, so the integrity of a development using formal methods is dependent on the integrity of the tool…
Add To MetaCart

Bifurcations in Nonlinear Networks Initialized with Linear Network Weight Solutions
by F. M. Coetzee, V. L. Stonick, V. L. Stonick Member Ieee — 1994
… training heuristic, formally, this method depends on an underlying homotopy which transforms a linear to a…
Add To MetaCart

Systematic Development of Concurrent Object-Oriented Programs
by Paulo Borba — 1998
… of formal methods depends crucially on adequate tools, refinement theories and associated proof techniques…
Cited by 3 (2 self) – Add To MetaCart

The Practice of Formal Methods in Safety Critical Systems
by Shaoying Liu, Victoria Stavridou, Bruno Dutertre, Shaoying Liu Victoria Stavridou — 1995 — Journal of Systems and Software
… in an effort to quantify and understand the dependability implications of formal methods [Littlewood 1993…
Cited by 4 (1 self) – Add To MetaCart

Distributed Secure Systems: Then and Now
by J. M. Rushby, Brian R, John Rushby — 1052
… currently manages its research program in formal methods and dependable systems, which develops the highly…
Cited by 2 (1 self) – Add To MetaCart

Technical Report SRI-CSL-03-05
by November Updated January
…, ICS, and SAL Formal Methods and Dependable Systems Program Computer Science Laboratory SRI…
Add To MetaCart

Model-Based Design of Dependability in Distributed Systems
by Anish Arora, Rajesh Jagannathan, Yi-min Wang
… and the other an X10 powerline network. Index Terms|model, formal methods, dependability, unanticipated faults…
Cited by 1 (1 self) – Add To MetaCart

Towards a Knowledge Grid: Requirements for a GridOS to Support the Next Generation Grid
by Brian Matthews, Alvaro Arenas, Michael Wilson, Damian Mac R, Adomas Svirskas, Julian Gallop, Juan Bicarregui, Simon Lambert — 2005 — Proc. COreGRID workshop on the Next Generation Grid
… communities such as Grid Computing, Formal Methods, Dependability, Emergent Systems and Programming 5 Tools…
Cited by 2 (0 self) – Add To MetaCart

Theory of Dependence Values
by Rosa Meo Universit, Rosa Meo — 2000 — ACM Transactions on Database Systems
… Representation Formalisms and Methods---dependence rules General Terms: Algorithms…
Add To MetaCart

Showing 1 through 10.

ATOM

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