Institutional Repository

Browsing South African Computer Journal 1997(19) by Issue Date

Browsing South African Computer Journal 1997(19) by Issue Date

Sort by: Order: Results:

  • Verification of finite state systems with temporal logic model checking 
    Schlingloff, B (South African Computer Society (SAICSIT), 1997)
    These tutorial notes contain an introduction to the logical theory and computational aspects of computer aided verification of finite state reactive systems with linear and branching temporal logic model checking. As a ...
  • Application-oriented program semantics 
    McIver, AK; Morgan, C; Sanders, JW (South African Computer Society (SAICSIT), 1997)
    This paper abridges lecture notes from WOFACS 96. It provides semantic models for a variety of programming and development formalisms, showing how different models for the same formalism are related by Galois connections. ...
  • Reasoning about changing information 
    Blackburn, P; Jaspars, J; De Rijke, M (South African Computer Society (SAICSIT), 1997)
    The purpose of these notes is two fold: (i) to give a reasonably self-contained introduction to a particular approach to theory change, known as the Alchourron-Gardenfors-Makinson (AGM) approach, and to discuss some of the ...
  • Test automation of safety-critical reactive systems 
    Peleska, J; Siegel, M (South African Computer Society (SAICSIT), 1997)
    This article focuses on test automation for safety-critical reactive systems. In the first part of the paper we introduce a methodology for specification, design and verification of fault-tolerant systems allowing to ...
  • WOFACS '96: Workshop on formal and applied Computer Science 
    Brink, C (South African Computer Society (SAICSIT), 1997)

Search UnisaIR


Browse

My Account