The following pages link to (Q4002642):
Displaying 50 items.
- Reactive computing as model generation (Q264957) (← links)
- Synthesis with rational environments (Q314471) (← links)
- On the diversity of asynchronous communication (Q315311) (← links)
- A complete proof system for propositional projection temporal logic (Q391223) (← links)
- Correct transformation: from object-based graph grammars to PROMELA (Q436353) (← links)
- Aspects preserving properties (Q436364) (← links)
- Explaining counterexamples using causality (Q453516) (← links)
- Formal communication elimination and sequentialization equivalence proofs for distributed system models (Q466919) (← links)
- Runtime verification of embedded real-time systems (Q479806) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Component-wise incremental LTL model checking (Q510894) (← links)
- On the axiomatizability of some first-order spatio-temporal theories (Q514577) (← links)
- Partial-order Boolean games: informational independence in a logic-based model of strategic interaction (Q516248) (← links)
- A symbolic model for timed concurrent constraint programming (Q530859) (← links)
- Faster algorithms for mean-payoff games (Q537946) (← links)
- A formal approach for the construction and verification of railway control systems (Q539161) (← links)
- Timed modal logics for real-time systems. Specification, verification and control (Q548704) (← links)
- Property specifications for workflow modelling (Q549695) (← links)
- MAVEN: Modular aspect verification and interference analysis (Q609017) (← links)
- Preface to the special issue: Temporal logics of agency (Q616042) (← links)
- Pointfree expression and calculation: From quantification to temporal logic (Q633283) (← links)
- Exploring the boundary of half-positionality (Q656821) (← links)
- Finite divergence (Q673876) (← links)
- Sequential calculus (Q674261) (← links)
- Organising LTL monitors over distributed systems with a global clock (Q681471) (← links)
- Fairness of transitions in diagnosability of discrete event systems (Q708892) (← links)
- Reasoning about goal-directed real-time teleo-reactive programs (Q736794) (← links)
- Assume-guarantee synthesis for digital contract signing (Q736809) (← links)
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- Quantitatively fair scheduling (Q764298) (← links)
- Network event recognition (Q812048) (← links)
- Algebraic specification of agent computation (Q814896) (← links)
- Translating Java for multiple model checkers: The Bandera back-end (Q816196) (← links)
- A complete mechanization of correctness of a string-preprocessing algorithm (Q816208) (← links)
- An equivalent CTL formulation for condition sequences (Q816698) (← links)
- Interpretability of first-order linear temporal logics in fork algebras (Q817582) (← links)
- Beyond contracts for concurrency (Q846113) (← links)
- First-order temporal verification in practice (Q851137) (← links)
- Coverage metrics for temporal logic model checking (Q853721) (← links)
- A mathematical framework for the semantics of symbolic languages representing periodic time (Q862832) (← links)
- Hybridization methods for the analysis of nonlinear systems (Q868432) (← links)
- Verifying a signature architecture: a comparative case study (Q877156) (← links)
- Specification and verification of data-driven Web applications (Q878758) (← links)
- Early verification and validation of mission critical systems (Q883137) (← links)
- A criterion for atomicity revisited (Q884994) (← links)
- Verification of distributed systems with the axiomatic system of MSVL (Q903507) (← links)
- Branching time logics \(\mathcal {BTL}^{\text{U,S}}_{\text{N},\text{N}^{-1}}(\mathcal {Z})_{\alpha }\) with operations \textit{Until} and \textit{Since} based on bundles of integer numbers, logical consecutions, deciding algorithms (Q929294) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- Deriving non-zeno behaviour models from goal models using ILP (Q973050) (← links)
- Reconciling statechart semantics (Q1001804) (← links)
