Institutional Repository

Browsing College of Science, Engineering and Technology by Subject "Reasoning heuristics"

Browsing College of Science, Engineering and Technology by Subject "Reasoning heuristics"

Sort by: Order: Results:

  • Validating reasoning heuristics using next-generation theorem-provers 
    Steyn, Paul S.; Van der Poll, John A. (2007-06)
    The specification of enterprise information systems using formal specification languages enables the formal verification of these systems. Reasoning about the properties of a formal specification is a tedious task that can ...

Search UnisaIR


Browse

My Account