Searching for authors named "Alexander Holt" – sorted by Relevance.
4 documents found, showing 1 through 4.
-
Natural Language for Hardware Verification: Semantic Interpretation and Model Checking
- … Holt, Ewan Klein and Claire Grover {alexander.holt,ewan.klein,claire.grover}@(email omitted); HCRC Language…
- Cited by 3 (2 self) – Add To MetaCart
-
A semantically-derived subset of English for hardware verification
- …A semantically-derived subset of English for hardware verification Alexander Holt and Ewan Klein…
- Cited by 25 (5 self) – Add To MetaCart
-
Designing a Controlled Language for Interactive Model Checking
- …Designing a controlled language for interactive model checking Claire Grover, Alexander Holt, Ewan…
- Cited by 3 (1 self) – Add To MetaCart
-
Abstracting over Semantic Theories
- …Abstracting over Semantic Theories Alexander Guy Brockway Holt Doctor of Philosophy University…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 4.
