论文信息 - Formal Methods in the Teaching Lab Examples, Cases, Assignments and Projects Enhancing Formal Method - 字舞流文

Formal Methods in the Teaching Lab Examples, Cases, Assignments and Projects Enhancing Formal Method

We describe the design of a discussion-based tutorial within an honours “Modelling Reactive Systems” course facilitated with an electronic voting system. The approach combats confidence and breadth issues, and we report on its effectiveness.

Raymond T. Boute | N. Oliveira | Izzat Mahmoud Alsmadi | I. Alsmadi | R. Boute | N. Oliveira | N. Oliveira

[1] Gordon D. Plotkin,et al. The origins of structural operational semantics , 2004, J. Log. Algebraic Methods Program..

[2] S. Safra. On The Complexity of w-Automata , 1988 .

[3] Fabio Somenzi,et al. Efficient Büchi Automata from LTL Formulae , 2000, CAV.

[4] Joey W. Coleman,et al. Black Tie Optional: Modelling Programming Language Concepts , 2004 .

[5] Constance L. Heitmeyer. Managing Complexity in Software Development with Formally Based Tools , 2004, Electron. Notes Theor. Comput. Sci..

[6] John McCarthy,et al. Recursive functions of symbolic expressions and their computation by machine, Part I , 1959, Commun. ACM.

[7] Aravinda Prasad Sistla,et al. Theoretical issues in the design and verification of distributed systems , 1983 .

[8] Pierre Wolper,et al. An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report) , 1986, LICS.

[9] Pierre Wolper,et al. The Complementation Problem for Büchi Automata with Appplications to Temporal Logic , 1987, Theor. Comput. Sci..

[10] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..