CTAN Comprehensive TeX Archive Network

For­mal spec­i­fi­ca­tion

This topic con­tains pack­ages to type­set for­mal spec­i­fi­ca­tion lan­guages.

Type­set Backus Naur Form def­i­ni­tions.
Plain macros for BNF gram­mars.
A BNF mod­ule for Cont.
Sim­ple pack­age for EBNF pro­duc­tions.
macros for typ­ing BNF spec­i­fi­ca­tions.
Macros for type­set­ting Ob­ject Z.
Type­set­ting VDM schemas.
Type­set­ting VDM in ASCII syn­tax.
Type­set Z spec­i­fi­ca­tions.
Type­set­ting Z and CSP for­mat spec­i­fi­ca­tions.
Guest Book Sitemap Contact Contact Author