The following pages link to Software model checking (Q2767990):
Displaying 23 items.
- Model checking learning agent systems using Promela with embedded C code and abstraction (Q333329) (← links)
- Model checking dynamic memory allocation in operating systems (Q835783) (← links)
- Syntax-directed model checking of sequential programs (Q1858441) (← links)
- Estimating the maximum rise in temperature according to climate models using abstract interpretation (Q2283722) (← links)
- On automation in the verification of software barriers: experience report (Q2351145) (← links)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems (Q2643128) (← links)
- (Q2733893) (← links)
- Symbolic model checking of software (Q2845503) (← links)
- Transactions for software model checking (Q2845505) (← links)
- Automatic verification of safety rules for a subway control software (Q2848456) (← links)
- Parallel assignments in software model checking (Q2852081) (← links)
- (Q3647510) (← links)
- (Q4806203) (← links)
- Types as models (Q5178897) (← links)
- Model Checking Software (Q5308367) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308391) (← links)
- Automated Technology for Verification and Analysis (Q5394166) (← links)
- Automated Technology for Verification and Analysis (Q5394203) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464484) (← links)
- Hybrid Systems: Computation and Control (Q5703955) (← links)
- Integrated Formal Methods (Q5901610) (← links)
- Programming Languages and Systems (Q5902361) (← links)
- Model checking, synthesis, and learning (Q6041187) (← links)
