Install additional Latex Packages for Formal Methods

• MikTex 2.9 on Windows

1. Install missed sty file using MikTex Package Manager

MikTex Package Manager

2. Some sty files can not install by the package manager, for example fuzz.sty, and have to install them by manual
1) create a local tex directory, such as d:\randall\localtexmf\
2) Copy the font and files into the directory
An example of B, Z, Circus and CSP sty files. Please see the enclosed package localtexmf
D:\randall\localtexmf>tree /F
├───fonts
│   └───source
│       └───public
│           └───oxsz
│                   oxsz.mf
│                   oxsz10.mf
│                   oxsz5.mf
│                   oxsz6.mf
│                   oxsz7.mf
│                   oxsz8.mf
│                   oxsz9.mf
│                   zarrow.mf
│                   zletter.mf
│                   zsymbol.mf
│
└───tex
    └───latex
        ├───bsymb
        │       bsymb.dtx
        │       bsymb.ins
        │       bsymb.pdf
        │       bsymb.sty
        │       LICENSE
        │       README
        │       refcard.pdf
        │       refcard.tex
        │
        ├───circus
        │       circus.sty
        │       csp.sty
        │       czt.sty
        │       zed.sty
        │
        ├───cspsymb
        │       cspsymb.sty
        │
        ├───fuzz
        │       example.tex
        │       fuzz.sty
        │       tut.tex
        │
        ├───overture
        │       overture.sty
        │       overturelanguagedef.s
        │
        └───zed-csp
                csp2e.tex
                zed-csp.sty
                zed2e.tex

3) Open the MikTex Setting tool, go to Roots tab, and add the D:\randall\localtexmf to the list of registered root. And then go back to General tab to click Refresh FNDB to update them.

Roots

Refresh FNDB

3. You may move the UserInstall and UserData root to localtexmf directory to save the space for C:\ and shared space

• Mac OS MacTex

1. Create a folder texmf under ~/Library, and the font and files into the directory just like what we have done above with MikTex