• Admin
    UC Research Repository
    View Item 
       
    • UC Home
    • Library
    • UC Research Repository
    • College of Engineering
    • Engineering: Reports
    • View Item
       
    • UC Home
    • Library
    • UC Research Repository
    • College of Engineering
    • Engineering: Reports
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of the RepositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

    Statistics

    View Usage Statistics

    Graphical tool for SC automata

    Thumbnail
    View/Open
    krishnan_haslett_report_2000.pdf (1016.Kb)
    Author
    Haslett, L.
    Date
    2000
    Permanent Link
    http://hdl.handle.net/10092/12348

    SC automata are a variation of timed automata which are closed under complementation. The major difference is SC automata have both history clocks which represent the time since some event occurred in the past and prophecy clocks which represent the time until some event occurs in the future. Humans have difficulty understanding and visualising the meaning of prophecy clocks and constraints which test their values. A graphical tool for constructing SC automata and experimenting with their accepting runs is presented. The tools emphasis is to provide understanding and visualising prophecy clocks rather than being a solid verifier. A simple evaluation of the tool is also presented.

    Subjects
    Field of Research::08 - Information and Computing Sciences::0802 - Computation Theory and Mathematics::080202 - Applied Discrete Mathematics
     
    Field of Research::08 - Information and Computing Sciences::0802 - Computation Theory and Mathematics::080203 - Computational Logic and Formal Languages
    Collections
    • Engineering: Reports [695]
    Rights
    https://canterbury.libguides.com/rights/theses

    UC Research Repository
    University Library
    University of Canterbury
    Private Bag 4800
    Christchurch 8140

    Phone
    364 2987 ext 8718

    Email
    ucresearchrepository@canterbury.ac.nz

    Follow us
    FacebookTwitterYoutube

    © University of Canterbury Library
    Send Feedback | Contact Us