tests.html revision b1e120191d24511ffb960774704a12f2bb0d76e2
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" />
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <link rel="stylesheet" href="main.css" type="text/css" />
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu We have used several tests for our prover. One can find some of our examples for each of the implemented logics under the following links:
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <li> for K & KD see <a href="data/examples/kkd1.in">kkd1</a> or <a href="data/examples/kkd2.in">kkd2</a>.
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <li> for Coalition Logic see <a href="data/examples/cl1.in">cl1</a> or <a href="data/examples/cl2.in">cl2</a>.
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <li> for Graded Modal Logic <a href="data/examples/gr1.in">gr1</a> or <a href="data/examples/gr2.in">gr2</a>.
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <li> for Probabilistic Modal Logic <a href="data/examples/pb1.in">pb1</a> or <a href="data/examples/pb2.in">pb2</a>.
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <li> for Hennesy-Milner Modal Logic <a href="data/examples/hm1.in">hm1</a> or <a href="data/examples/hm2.in">hm2</a>.
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu <li> for Monotonic Modal Logic the examples given for K & KD can be used.
74b23191c8f49798f7513f324bbdbbe32f8a1db2Razvan Pascanu Note that the each example links to a text file, so "Right Click" and "Save As" (or similar depending on the browser) can be used for download.