The following pages link to (Q3336675):
Displaying 50 items.
- A complete axiomatization of weighted branching bisimulation (Q2182679) (← links)
- Generalized abstraction-refinement for game-based CTL lifted model checking (Q2193289) (← links)
- Hierarchical cost-parity games (Q2210523) (← links)
- Model-checking precision agriculture logistics: the case of the differential harvest (Q2220343) (← links)
- Toward model selection by formal methods (Q2229136) (← links)
- Algebra-based synthesis of loops and their invariants (invited paper) (Q2234055) (← links)
- Generative program analysis and beyond: the power of domain-specific languages (invited paper) (Q2234057) (← links)
- Strategies, model checking and branching-time properties in Maude (Q2239275) (← links)
- Code aware resource management (Q2248054) (← links)
- Model checking for probabilistic timed automata (Q2248072) (← links)
- Beyond vacuity: towards the strongest passing formula (Q2248090) (← links)
- On the order of test goals in specification-based testing (Q2270689) (← links)
- Synthesizing adaptive test strategies from temporal logic specifications (Q2280227) (← links)
- Model-checking graded computation-tree logic with finite path semantics (Q2285155) (← links)
- Natural strategic ability (Q2289013) (← links)
- A novel approach to verifying context free properties of programs (Q2290651) (← links)
- Determinizing monitors for HML with recursion (Q2291832) (← links)
- Two AGM-style characterizations of model repair (Q2294584) (← links)
- Logical vs. behavioural specifications (Q2304534) (← links)
- Index set expressions can represent temporal logic formulas (Q2317353) (← links)
- The model checking fingerprints of CTL operators (Q2317834) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- Next-preserving branching bisimulation (Q2355689) (← links)
- Model checking mobile ad hoc networks (Q2363813) (← links)
- On the universal and existential fragments of the \(\mu\)-calculus (Q2368950) (← links)
- Complexity results on branching-time pushdown model checking (Q2373715) (← links)
- Maintenance goals of agents in a dynamic environment: formulation and policy construction (Q2389664) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- Parameter space abstraction and unfolding semantics of discrete regulatory networks (Q2422012) (← links)
- Model checking and synthesis for branching multi-weighted logics (Q2423760) (← links)
- Model checking open systems with alternating projection temporal logic (Q2424878) (← links)
- Model checking of pushdown systems for projection temporal logic (Q2424879) (← links)
- A new combination procedure for the word problem that generalizes fusion decidability results in modal logics (Q2432763) (← links)
- Cancer hybrid automata: model, beliefs and therapy (Q2453217) (← links)
- Observations in using parallel and sequential evolutionary algorithms for automatic software testing (Q2482366) (← links)
- Analysis of dynamic policies (Q2482441) (← links)
- A clausal resolution method for extended computation tree logic ECTL (Q2495388) (← links)
- A parametric analysis of the state-explosion problem in model checking (Q2495399) (← links)
- \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) (Q2500472) (← links)
- Model checking restricted sets of timed paths (Q2503042) (← links)
- Statistical probabilistic model checking with a focus on time-bounded properties (Q2509358) (← links)
- Verifying untimed and timed aspects of the experimental batch plant (Q2512162) (← links)
- Bounded model checking of traffic light control system (Q2520617) (← links)
- Structure-based deadlock checking of asynchronous circuits (Q2637261) (← links)
- Interleaving set temporal logic (Q2639046) (← links)
- Simulating and model checking membrane systems using strategies in Maude (Q2667188) (← links)
- Metalevel transformation of strategies (Q2667189) (← links)
- Mean-payoff games with \(\omega\)-regular specifications (Q2669180) (← links)
- A proof system for unified temporal logic (Q2686105) (← links)
