Searching for "Invariant Logics." – sorted by Relevance.
58 documents found, showing 1 through 10.
Next 10 →
-
Detector
- … Daikon to delay the creation of invariants that are logically implied by other true invariants. Although…
- Add To MetaCart
-
Precise and Efficient Groundness Analysis for Logic Programs
- …---assertions, invariants, logics of programs General Terms: Languages, Theory Additional Key Words and Phrases: Abstract…
- Cited by 50 (3 self) – Add To MetaCart
-
Bisimulation Invariance and Finite Models
- …-Rosen characterisation of basic modal logic as the bisimulation invariant fragment of rst-order logic. The ramication…
- Cited by 2 (0 self) – Add To MetaCart
-
Modal Logic, Transition Systems and Processes
- … the form: a formula of first-order logic is invariant for a bisimulation of kind B iff that formula…
- Cited by 20 (4 self) – Add To MetaCart
-
Slicing an Integrated Formal Method for Verification
- … in temporal logics which are invariant under stuttering, as for instance LTL−X. 1 Introduction Modelling…
- Cited by 7 (4 self) – Add To MetaCart
-
Slicing CSP-OZ Specifications for Verification
- … in temporal logics which are invariant under stuttering, as for instance LTL−X. 1 Introduction Modelling…
- Cited by 1 (1 self) – Add To MetaCart
-
Model Checking and Satisfiability for Sabotage Modal Logic
- …. The last property holds since every bisimulation-invariant logic over transition systems has the tree model…
- Cited by 5 (0 self) – Add To MetaCart
-
A flexible deductive account of wh-question formation
- … is based on a logical invariant but structurally flexible reasoning system. 2 The basics Multimodal…
- Add To MetaCart
-
Visual Information Seeking: Tight Coupling of Dynamic Query Filters with Starfield Displays
- … interactions among components. - constraints on permissible operations to preserve display invariants (logical…
- Cited by 409 (39 self) – Add To MetaCart
-
JML: notations and tools supporting detailed design in Java
- … and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, pre- and post…
- Cited by 57 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
