The following pages link to Tom Melham (Q207986):
Displaying 8 items.
- The PROSPER toolkit (Q2729073) (← links)
- Tool building requirements for an API to first-order solvers (Q2848686) (← links)
- Symbolic Trajectory Evaluation (Q3176383) (← links)
- (Q4281475) (← links)
- Lifting CDCL to Template-Based Abstract Domains for Program Verification (Q5096092) (← links)
- Formally analyzed dynamic synthesis of hardware (Q5945699) (← links)
- Enhancing active model learning with equivalence checking using simulation relations (Q6151756) (← links)
- Five axioms of alpha-conversion (Q6567711) (← links)