Searching for "Invariant Logics." – sorted by Relevance.
-
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

