The following pages link to (Q4818818):
Displayed 37 items.
- Modelling timed reactive systems from natural-language requirements (Q315301) (← links)
- An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints (Q414857) (← links)
- Model checking RAISE applicative specifications (Q470000) (← links)
- Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems (Q528185) (← links)
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- MAVEN: Modular aspect verification and interference analysis (Q609017) (← links)
- Weak, strong, and strong cyclic planning via symbolic model checking (Q814470) (← links)
- Conformant planning via symbolic model checking and heuristic search (Q814631) (← links)
- Not all bugs are created equal, but robust reachability can tell the difference (Q832220) (← links)
- Verifying data refinements using a model checker (Q851129) (← links)
- The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems (Q862581) (← links)
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- From NuSMV to SPIN: Experiences with model checking flight guidance systems (Q883136) (← links)
- A comparison of tools for teaching formal software verification (Q1019026) (← links)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- Applying model-checking to solve queries on semistructured data (Q1749228) (← links)
- Formal verification based on Boolean expression diagrams (Q1954165) (← links)
- Collaborative models for autonomous systems controller synthesis (Q2198131) (← links)
- Toward model selection by formal methods (Q2229136) (← links)
- On the order of test goals in specification-based testing (Q2270689) (← links)
- Towards light-weight probabilistic model checking (Q2336743) (← links)
- Automated planning as an early verification tool for distributed control (Q2352501) (← links)
- Proof-based verification approaches for dynamic properties: application to the information system domain (Q2355384) (← links)
- GSTE is partitioned model checking (Q2385196) (← links)
- A work-efficient distributed algorithm for reachability analysis (Q2431764) (← links)
- CTL update of Kripke models through protections (Q2453698) (← links)
- Exploiting interleaving semantics in symbolic state-space generation (Q2642670) (← links)
- Silver: an extensible attribute grammar system (Q2653933) (← links)
- Incremental Learning-Based Testing for Reactive Systems (Q3012969) (← links)
- Linear Temporal Logic Satisfaction in Adversarial Environments Using Secure Control Barrier Certificates (Q3297675) (← links)
- Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications (Q3510824) (← links)
- CTL Model-Checking with Graded Quantifiers (Q3540061) (← links)
- Complementary Criteria for Testing Temporal Logic Properties (Q3637251) (← links)
- Synergistic verification and validation of systems and software engineering models (Q3654541) (← links)
- Verifying a Network Invariant for All Configurations of the Futurebus+ Cache Coherence Protocol (Q4921502) (← links)
- Diagnostic Information for Realizability (Q5452707) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)