MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A proof rule for the "it it" generalized control structure." – sorted by Relevance.

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

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

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

ATOM

Making a Productive Use of Failure to Generate Witnesses for Coinduction from Divergent Proof
by unknown authors
…, using knowledge of the general structure of a family of proofs and exploiting this knowledge to control…
Add To MetaCart

Formal Verification of McMillan's Compositional Assume-Guarantee Rule
by John Rushby — 2001 — University of Minnesota, Minneapolis. His
… membership depends on synchronization---so we do need a proof rule that truly accommodates this circularity…
Cited by 4 (3 self) – Add To MetaCart

A sharp proof rule for procedures in wp semantics
by A. Bijlsma, P. A. Matthews, J. G. Wiltink — 1989 — Acta Informatica
… but general proof rule for the call on a procedure. We can describe his proof rule as follows. Say we have a…
Cited by 15 (1 self) – Add To MetaCart

Compositional Verification for Object-Z
by Kirsten Winter, Graeme Smith — 2003 — In
… key feature is a proof rule based on decomposition of hierarchical Object-Z models. For each component…
Cited by 7 (4 self) – Add To MetaCart

Terminating General Recursion
by unknown authors — 1987
… in type theory (extended with propositions). A proof rule for the new operator is presented. The addition…
Add To MetaCart

Verifying Hybrid Systems
by Zohar Manna, Amir Pnueli — 1993 — In Grossman et al
… of the sampling computations semantics. A proof rule for verifying properties of hybrid systems is presented…
Cited by 65 (1 self) – Add To MetaCart

An improved rule for while loops in deductive program verification
by Bernhard Beckert, Steffen Schlager, Peter H. Schmitt, Universität Karlsruhe — 2005 — Proc. , Seventh Intl. Conf. on Formal Engineering Methods (ICFEM
… to loop invariants; and we define a proof rule for while loops that makes use of the change information…
Cited by 9 (2 self) – Add To MetaCart

Predicate Transformers for Recursive Procedures With Local Variables
by Wim H. Hesselink — 1999
… not require stacking of local variables. The formalism serves as a foundation for a proof rule for total…
Cited by 4 (0 self) – Add To MetaCart

Reasoning About Exceptions (Extended Abstract)
by Leendert W.N. van der Torre, Yao-hua Tan
… this paper is that a proof rule can be blocked in a derivation due to the fact that another proof rule has…
Add To MetaCart

Automating verification of loops by parallelization
by Tobias Gedell, Reiner Hähnle — 2006 — Proc. Intl. Conf. on Logic for Programming Artificial Intelligence and Reasoning, Phnom Penh, Cambodia, volume 4246 of LNCS
… of a proof rule that transforms a loop into a universally quantified update of the state change…
Cited by 2 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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