The following pages link to Alex Groce (Q457245):
Displayed 15 items.
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- (Q1888198) (redirect page) (← links)
- Efficient verification of sequential and concurrent C programs (Q1888200) (← links)
- (Q2849596) (← links)
- Adaptive Model Checking (Q3424119) (← links)
- New Challenges in Model Checking (Q3512433) (← links)
- (Q4426376) (← links)
- (Q4472253) (← links)
- (Q4551132) (← links)
- (Q4738485) (← links)
- (Q4804922) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308392) (← links)
- Computer Aided Verification (Q5312922) (← links)
- Extending Model Checking with Dynamic Analysis (Q5452713) (← links)
- Correct Hardware Design and Verification Methods (Q5897055) (← links)