LaTeX and PRISM: syntax highlighting in the listing environment

This entry was posted by on Wednesday, 19 September, 2012 at

You may be using the PRISM Model Checker for your research. You may also want to put some code in your text, for instance in your PhD thesis. Using and the Listings environment is probably your best bet.

Listings defines many options and supports many languages. Unfortunately, PRISM is not one of them and googling around does not yield any result. In search for a quick-and-dirty solution, here’s what I came up with:

   morekeywords={dtmc, const, int, double, module, formula, endmodule} 

A rather simplistic approach, I agree. There must be more people with the same problem. Know a better solution? Let me know in the comments!

One Response to “LaTeX and PRISM: syntax highlighting in the listing environment”

  1. Piotr

    There is a similar solution for using lstlisting with PRISM code here:!topic/prismmodelchecker/hTINumpmAv8

Leave a Reply