PROSPER AT EDINBURGH

Proof and Specification Assisted Design Environments

Papers

  1. ALVEY to CTL translation - a preparatory study for a finite-state verification Natural Language interface. Danny Tidhar. MSc dissertation, Department of Linguistics, University of Edinburgh.
  2. A semantically-derived subset of English for hardware verification. Alexander Holt and Ewan Klein. 37th Annual Meeting of the Association for Computational Linguistics: Proceedings of the Conference: 20-26 June 1999, University of Maryland, College Park, Maryland, USA, pp. 451-456. Association for Computational Linguistics, 1999.
  3. Natural language for hardware verification: semantic interpretation and model checking. Alexander Holt, Ewan Klein and Claire Grover. ICoS-1: Inference in Computational Semantics: Institute for Logic, Language and Computation (ILLC), Amsterdam, August 15, 1999: Workshop Proceedings, pp. 133-137. ILLC, University of Amsterdam, 1999.
  4. From Event-Based Semantics to Linear Temporal Logic: The Logical and Computational Aspects of a Natural Language Interface for Hardware Verification. Tom Laureys. MSc dissertation, School of Cognitive Science, University of Edinburgh.
  5. Formal verification with natural language specifications: guidelines, experiments and lessons so far. Alexander Holt. South African Computer Journal, No. 24, November 1999, pp. 253-257. (Special issue: Proceedings of the Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists: 17-19 November 1999, Mount Amanzi Lodge, Hartebeespoort, South Africa.)
  6. Designing a controlled language for interactive model checking. Claire Grover, Alexander Holt, Ewan Klein and Marc Moens. CLAW 2000 - Proceedings of the Third International Workshop on Controlled Language Applications, 29-30 April 2000, Seattle, pp. 90-104.
  7. Natural language specifications for hardware verification. Alexander Holt, Ewan Klein and Claire Grover. Language and Computation 1, No. 2, pp. 293-298. (Special issue: Inference in Computational Semantics.)

5 February 2001