The following pages link to (Q4494387):
Displaying 30 items.
- Model checking learning agent systems using Promela with embedded C code and abstraction (Q333329) (← links)
- A formal model for service-oriented interactions (Q436383) (← links)
- Formal communication elimination and sequentialization equivalence proofs for distributed system models (Q466919) (← links)
- A state/event-based model-checking approach for the analysis of abstract system properties (Q617925) (← links)
- From NuSMV to SPIN: Experiences with model checking flight guidance systems (Q883136) (← links)
- A partial approach to model checking (Q1327383) (← links)
- Enhancing model checking in verification by AI techniques (Q1606310) (← links)
- Applying model-checking to solve queries on semistructured data (Q1749228) (← links)
- Pragmatics of model checking: An STTT special section (Q1856169) (← links)
- Model checking at IBM (Q1870213) (← links)
- A planner agent that tries its best in presence of nondeterminism (Q1948282) (← links)
- Generative program analysis and beyond: the power of domain-specific languages (invited paper) (Q2234057) (← links)
- Model checking approach to automated planning (Q2248102) (← links)
- Book review of: E. M. Clarke (ed.) et al., Handbook of model checking (Q2322309) (← links)
- A proof theory for model checking (Q2331070) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- Easy instances for model checking (Q2735980) (← links)
- Model checking. (Q2751376) (← links)
- Model-checking the preservation of temporal properties upon feature integration (Q2848430) (← links)
- Formal sequentialization of distributed systems via program rewriting (Q2867960) (← links)
- Automated formal analysis and verification: an overview (Q2871577) (← links)
- Inference of Field-Sensitive Reachability and Cyclicity (Q2946745) (← links)
- Quality Engineering: Leveraging Heterogeneous Information (Q3075468) (← links)
- The Beginning of Model Checking: A Personal Perspective (Q3512431) (← links)
- Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta. (Q4923520) (← links)
- Database Theory - ICDT 2005 (Q5316588) (← links)
- (Q5322945) (← links)
- Fundamental Approaches to Software Engineering (Q5428893) (← links)
- Computer Aided Verification (Q5716552) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900553) (← links)
