Freeminded.org

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:

\\lstset{
   language={},
   caption={model.sm},
   label=l:prismmodel,
   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!