A semantically-derived subset of English for hardware verification

Proceedings of the Annual Meeting of the Association for Computational Linguistics

Volumn 1999-June, Issue , 1999, Pages 451-456

  Holt, Alexander ^a   Klein, Ewan ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SET THEORY; TEMPORAL LOGIC;

AUTOMATIC CONVERSION; CIRCUIT SPECIFICATIONS; COMPUTATIONAL SEMANTICS; EXPRESSIBILITY; HARDWARE DESIGN; HARDWARE VERIFICATION; MODELS CHECKING; SEMANTIC ANALYSIS;

MODEL CHECKING;

EID: 4444313190     PISSN: 0736587X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Hiyan Alshawi, editor. 1992. The CoreLanguage Engine. MIT Press.
2. Edmund M. Clarke and E. Allen Emerson. 1981. Synthesis of synchronization skeletons for branching time temporal logic. In Logic of Programs: Workshop, Yorktown Heights, NY, May 1981, volume 131 of Lecture Notes in Computer Science. Springer-Verlag.
3. Edmund M. Clarke and Jeanette M. Wing. 1996. Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4):626-643.
4. Edmund M. Clarke, E. Allen Emerson, and A. Prasad Sistla. 1986. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on ProgrammingLanguagesand Systems, 8(2):244-263.
5. Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. 1998a. Patterns in property specifications for finite-state verification. Technical Report KSU CIS TR-98-9, Department of Computing and Information Sciences, Kansas State University.
6. Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. 1998b. Property specification patterns for finite-state verification. In M. Ardis, editor, Proceedings of the Second Workshopon Formal Methods in Software Practice, pages 7-15.
7. A. Fantechi, S. Gnesi, G. Ristori, M. Carenini, M. Marino, and P. Moreschini. 1994. Assisting requirement formalization by means of natural language translation. FormalMethods in System Design, 4:243-263.
8. Kathryn Fisler. 1996. A UnifiedApproach to Hardware Verificationthrougha HeterogeneousLogic ofDesign Diagrams. Ph.D. thesis, Department of Computer Science, Indiana University.
9. Norbert E. Fuchs and Rolf Schwitter. 1996. Attempto Controlled English (ACE). In CLAW 96: FirstInternational Workshopon Controlled Language Applications. Centre for Computational Linguistics, Katholieke Universiteit Leuven, Belgium.
10. Claire Grover, John Carroll, and Ted Briscoe. 1993. The Alvey Natural Language Tools Grammar (4th release). Technical Report 284, Computer Laboratory, University of Cambridge.
11. Hans Kamp and Uwe Reyle. 1993. FromDiscourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, FormalLogic and Discourse Representation Theory. Number 42 in Studies in Linguistics and Philosophy. Kluwer.
12. Benjamin Macias and Stephen G. Pulman. 1995. A method for controlling the production of specifications in natural language. The Computer Journal, 38(4):310-318.
13. Kenneth L. Macmillan. 1993. Symbolic Model Checking. Kluwer.
14. Rani Nelken and Nissim Francez. 1996. Translating natural language system specifications into temporal logic via DRT. Technical Report LCL-96-2, Laboratory for Computational Linguistics, Technion, Israel Institute of Technology.
15. Stephen G. Pulman. 1996. Controlled language for knowledge representation. In CLAW 96: Proceedings of the First International Workshop on Controlled Language Applications, pages 233-242. Centre for Computational Linguistics, Katholieke Universiteit Leuven, Belgium.
16. Rolf Schwitter and Norbert E. Fuchs. 1996. Attempto - - from specifications in controlled natural language towards executable specifications. In GI EMISA Workshop. Nattirlichsprachlicher Entwurf von Informations-systemen, Tutzing, Germany.
17. Richmond H. Thomason. 1984. Combinations of tense and modality. In D. Gabbay and E Guenthner, editors, HandbookofPhilosophical Logic. VolumeII: Extensions of Classical Logic, volume 146 of Synthese Library, chapter 11.3, pages 89-134. D. Reidel.
18. Dan Tidhar. 1998. ALVEY to CTL translation - A preparatory study for finite-state verification natural language interface. Msc dissertation, Department of Linguistics, University of Edinburgh.
19. Moshe Y. Vardi. 1998. Linear vs. branching time: A complexity-theoretic perspective. In LICS'98: Proceedings of the Annual IEEE Symposium on Logic in Computer Science. Indiana University.