The following pages link to Computer Aided Verification (Q5716594):
Displaying 10 items.
- Verification of heap manipulating programs with ordered data by extended forest automata (Q300414) (← links)
- A framework for the verification of infinite-state graph transformation systems (Q937301) (← links)
- Learning good prototypes for classification using filtering and abstraction of instances (Q1601566) (← links)
- Generalised multi-pattern-based verification of programs with linear linked structures (Q2642987) (← links)
- Abstraction refinement guided by a learnt probabilistic model (Q2828290) (← links)
- Counterexample Validation and Interpolation-Based Refinement for Forest Automata (Q2961572) (← links)
- (Q3493296) (← links)
- Automata Learning through Counterexample Guided Abstraction Refinement (Q4647827) (← links)
- An Inference-Rule-Based Decision Procedure for Verification of Heap-Manipulating Programs with Mutable Data and Cyclic Data Structures (Q5452601) (← links)
- AI 2005: Advances in Artificial Intelligence (Q5898034) (← links)