Skip to main content

TS

How to install PHAVer on mac OS x

Authors

Franck Cassez

NICTA

Abstract

This short note explains how to install PHAVer (and the needed libraries) for a single user on Mac OS X running Leopard (10.5.6). It might also work for earlier versions (you can report to me in case of a successful install on earlier version).

BibTeX Entry

  @techreport{Cassez_09:tr,
    author           = {Cassez, Franck},
    month            = oct,
    year             = {2009},
    keywords         = {hybrid systems, phaver},
    title            = {How to Install {PHAVer} on Mac {OS} X},
    type             = {Technical Report},
    institution      = {NICTA},
    address          = {Sydney, Australia}
  }

Download

Served by Apache on Linux on seL4.