Tutorials & Examples

Table of Contents
  • Higher-Order Logic and HOL Theorem Prover Related
  • Network Security Related
  • Hardware Related
  • Process Algebra Related
    • Home

    HOL Related     (also see Software & Tools from mainpage)
     
  • HOL98 Tutorial
  • Some Utility Tactics for HOL (ps) Lockwood Morris 
  • CSE607 The Logical Basis of Computing


    •   HOL Related from other sources
     

  • Automating Recursive Type Definitions in HOL Tom Melham
  • Reasoning with Inductively Defined Relations in the HOL Theorem Prover       Juanito Camilleri and Tom Melham
  • A Package for Relation Definitions in HOL Tom Melham

    •  

    Top



    Network Security Related
  • The Principal Calculus embedded in HOL Thumrongsak Kosiyatrakul
  • Proof using the Collision Resistance Property of Hash Function Diana Ryan
  • CSE774 Principles of Network Security
    • Top


    Hardware Related
     
  • Hardware verification and integration with CAD tools Byoungwoo Min
  • Notes on Equivalence Stuttering Bisimulations Diana Ryan
  • CSE773 Formal Specification and Verification of Hardware
    • Top


    Process Algebra Related Top