mcrl2 201210.1-1ubuntu1 / usr / share / doc

This file is indexed.

/usr/share/doc/ is in mcrl2 201210.1-1ubuntu1.

This file is owned by root:root, with mode 0o755.

File Mime Type Owner Mode Size
..
/usr/share/doc/mcrl2/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/ root:root 0o755
/usr/share/doc/mcrl2/examples/timed/light/ root:root 0o755
/usr/share/doc/mcrl2/README text/plain root:root 0o644 542 bytes
/usr/share/doc/mcrl2/TODO.Debian text/plain root:root 0o644 236 bytes
/usr/share/doc/mcrl2/copyright text/plain root:root 0o644 7.3 KB
/usr/share/doc/mcrl2/examples/ root:root 0o755
/usr/share/doc/mcrl2/examples/language/ root:root 0o755
/usr/share/doc/mcrl2/examples/language/small3.mcrl2 text/plain root:root 0o644 236 bytes
/usr/share/doc/mcrl2/examples/language/gpa_10_3.mcrl2 text/plain root:root 0o644 616 bytes
/usr/share/doc/mcrl2/examples/language/forall.mcrl2 text/plain root:root 0o644 248 bytes
/usr/share/doc/mcrl2/examples/language/lambda.mcrl2 text/plain root:root 0o644 460 bytes
/usr/share/doc/mcrl2/examples/language/upcast.mcrl2 text/plain root:root 0o644 364 bytes
/usr/share/doc/mcrl2/examples/language/sets_bags.mcrl2 text/plain root:root 0o644 2.7 KB
/usr/share/doc/mcrl2/examples/language/par.mcrl2 text/plain root:root 0o644 127 bytes
/usr/share/doc/mcrl2/examples/language/exists.mcrl2 text/plain root:root 0o644 250 bytes
/usr/share/doc/mcrl2/examples/language/gpa_10_1.mcrl2 text/plain root:root 0o644 661 bytes
/usr/share/doc/mcrl2/examples/language/list.mcrl2 text/plain root:root 0o644 220 bytes
/usr/share/doc/mcrl2/examples/language/tau.mcrl2 text/plain root:root 0o644 120 bytes
/usr/share/doc/mcrl2/examples/language/divide2_100.mcrl2 text/plain root:root 0o644 492 bytes
/usr/share/doc/mcrl2/examples/academic/par/ root:root 0o755
/usr/share/doc/mcrl2/examples/language/struct.mcrl2 text/plain root:root 0o644 824 bytes
/usr/share/doc/mcrl2/examples/language/small2.mcrl2 text/plain root:root 0o644 210 bytes
/usr/share/doc/mcrl2/examples/language/small1.mcrl2 text/plain root:root 0o644 537 bytes
/usr/share/doc/mcrl2/examples/language/funccomp.mcrl2 text/plain root:root 0o644 382 bytes
/usr/share/doc/mcrl2/examples/language/gpa_10_2.mcrl2 text/plain root:root 0o644 628 bytes
/usr/share/doc/mcrl2/examples/language/numbers.mcrl2 text/plain root:root 0o644 1.3 KB
/usr/share/doc/mcrl2/examples/language/delta0.mcrl2 text/plain root:root 0o644 130 bytes
/usr/share/doc/mcrl2/examples/language/divide2_500.mcrl2 text/plain root:root 0o644 470 bytes
/usr/share/doc/mcrl2/examples/language/rational.mcrl2 text/plain root:root 0o644 1.4 KB
/usr/share/doc/mcrl2/examples/language/time.mcrl2 text/plain root:root 0o644 138 bytes
/usr/share/doc/mcrl2/examples/language/delta.mcrl2 text/plain root:root 0o644 135 bytes
/usr/share/doc/mcrl2/examples/grape/ root:root 0o755
/usr/share/doc/mcrl2/examples/grape/abp.gra.gz application/gzip root:root 0o644 2.5 KB
/usr/share/doc/mcrl2/examples/academic/block/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/block/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/block/run.py text/plain root:root 0o644 574 bytes
/usr/share/doc/mcrl2/examples/academic/block/block.mcrl2 text/plain root:root 0o644 1.5 KB
/usr/share/doc/mcrl2/examples/academic/tree/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/tree/tree.mcrl2 text/plain root:root 0o644 514 bytes
/usr/share/doc/mcrl2/examples/academic/tree/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/tree/run.py text/plain root:root 0o644 598 bytes
/usr/share/doc/mcrl2/examples/academic/goback/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/goback/goback.mcrl2 text/plain root:root 0o644 416 bytes
/usr/share/doc/mcrl2/examples/academic/goback/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/goback/run.py text/plain root:root 0o644 190 bytes
/usr/share/doc/mcrl2/examples/academic/trains/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/trains/trains.mcrl2.gz application/gzip root:root 0o644 2.2 KB
/usr/share/doc/mcrl2/examples/academic/trains/mutual_exclusion.mcf text/plain root:root 0o644 84 bytes
/usr/share/doc/mcrl2/examples/academic/trains/infinitely_often_enabled_then_infinitely_often_taken_enter.mcf text/plain root:root 0o644 366 bytes
/usr/share/doc/mcrl2/examples/academic/trains/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/trains/run.py text/plain root:root 0o644 602 bytes
/usr/share/doc/mcrl2/examples/academic/parallel/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/parallel/parallel.mcrl2 text/plain root:root 0o644 214 bytes
/usr/share/doc/mcrl2/examples/academic/parallel/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/parallel/run.py text/plain root:root 0o644 321 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu.mcrl2 text/plain root:root 0o644 1.7 KB
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu3.mcf text/plain root:root 0o644 221 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu5.mcf text/plain root:root 0o644 715 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu6.mcf text/plain root:root 0o644 716 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu2.mcf text/plain root:root 0o644 294 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu1.mcf text/plain root:root 0o644 433 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/mpsu4.mcf text/plain root:root 0o644 288 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/mpsu/run.py text/plain root:root 0o644 815 bytes
/usr/share/doc/mcrl2/examples/academic/dining/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/dining/dining3_cs.mcrl2 text/plain root:root 0o644 893 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining_10.mcrl2 text/plain root:root 0o644 934 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining3_cs_seq.mcrl2 text/plain root:root 0o644 911 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining_10000.mcrl2 text/plain root:root 0o644 938 bytes
/usr/share/doc/mcrl2/examples/academic/dining/nostuffing.mcf text/plain root:root 0o644 204 bytes
/usr/share/doc/mcrl2/examples/academic/dining/nostarvation.mcf text/plain root:root 0o644 300 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining_100.mcrl2 text/plain root:root 0o644 936 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining3.mcrl2 text/plain root:root 0o644 1012 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining3_seq.mcrl2 text/plain root:root 0o644 797 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining3_schedule.mcrl2 text/plain root:root 0o644 1.2 KB
/usr/share/doc/mcrl2/examples/academic/dining/dining3_schedule_seq.mcrl2 text/plain root:root 0o644 1.0 KB
/usr/share/doc/mcrl2/examples/academic/dining/dining8.mcrl2 text/plain root:root 0o644 869 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining3_ns_seq.mcrl2 text/plain root:root 0o644 751 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining3_ns.mcrl2 text/plain root:root 0o644 732 bytes
/usr/share/doc/mcrl2/examples/academic/dining/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/dining/dining_1000.mcrl2 text/plain root:root 0o644 937 bytes
/usr/share/doc/mcrl2/examples/academic/dining/run.py text/plain root:root 0o644 942 bytes
/usr/share/doc/mcrl2/examples/academic/cellular_automata/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/cellular_automata/run.py text/plain root:root 0o644 87 bytes
/usr/share/doc/mcrl2/examples/academic/cellular_automata/cellular_automata.mcrl2 text/plain root:root 0o644 2.3 KB
/usr/share/doc/mcrl2/examples/academic/par/par.mcrl2 text/plain root:root 0o644 2.7 KB
/usr/share/doc/mcrl2/examples/academic/par/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/par/run.py text/plain root:root 0o644 286 bytes
/usr/share/doc/mcrl2/examples/academic/producer_consumer/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/producer_consumer/producer_consumer.mcrl2 text/plain root:root 0o644 554 bytes
/usr/share/doc/mcrl2/examples/academic/producer_consumer/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/producer_consumer/run.py text/plain root:root 0o644 521 bytes
/usr/share/doc/mcrl2/examples/academic/commprot/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/commprot/commprot.mcrl2.gz application/gzip root:root 0o644 3.9 KB
/usr/share/doc/mcrl2/examples/academic/commprot/run.py text/plain root:root 0o644 200 bytes
/usr/share/doc/mcrl2/examples/academic/scheduler/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/scheduler/scheduler.mcrl2 text/plain root:root 0o644 1.1 KB
/usr/share/doc/mcrl2/examples/academic/scheduler/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/scheduler/run.py text/plain root:root 0o644 531 bytes
/usr/share/doc/mcrl2/examples/academic/scheduler/infinitely_often_enabled_then_infinitely_often_taken_a.mcf text/plain root:root 0o644 240 bytes
/usr/share/doc/mcrl2/examples/academic/bke/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bke/bke.mcrl2.gz application/gzip root:root 0o644 3.1 KB
/usr/share/doc/mcrl2/examples/academic/bke/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/bke/run.py text/plain root:root 0o644 399 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/cabp/read_then_eventually_send.mcf text/plain root:root 0o644 468 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/read_then_eventually_send_if_fair.mcf text/plain root:root 0o644 434 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/no_duplication_of_messages.mcf text/plain root:root 0o644 216 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/no_generation_of_messages.mcf text/plain root:root 0o644 193 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/infinitely_often_receive_for_all_d.mcf text/plain root:root 0o644 214 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/infinitely_often_receive_d1.mcf text/plain root:root 0o644 182 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/cabp.mcrl2 text/plain root:root 0o644 2.7 KB
/usr/share/doc/mcrl2/examples/academic/cabp/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/infinitely_often_enabled_then_infinitely_often_taken.mcf text/plain root:root 0o644 420 bytes
/usr/share/doc/mcrl2/examples/academic/cabp/run.py text/plain root:root 0o644 1.6 KB
/usr/share/doc/mcrl2/examples/academic/cabp/infinitely_often_lost.mcf text/plain root:root 0o644 513 bytes
/usr/share/doc/mcrl2/examples/academic/leader/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/leader/leader.mcrl2 text/plain root:root 0o644 2.6 KB
/usr/share/doc/mcrl2/examples/academic/leader/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/leader/run.py text/plain root:root 0o644 714 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating.mcf text/plain root:root 0o644 339 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion/run text/plain root:root 0o644 653 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion/mutual_exclusion.mcf text/plain root:root 0o644 242 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion/run.aggressive text/plain root:root 0o644 675 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/mutual_exclusion.mcf text/plain root:root 0o644 242 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter.mcf text/plain root:root 0o644 273 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/abstraction.txt text/plain root:root 0o644 875 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number/run text/plain root:root 0o644 674 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number/run.aggressive text/plain root:root 0o644 688 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number/always_can_get_number.mcf text/plain root:root 0o644 218 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/aggressive_abstraction.txt text/plain root:root 0o644 611 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating/get_at_least_number_circulating.mcf text/plain root:root 0o644 356 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating/run text/plain root:root 0o644 754 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/get_at_least_number_circulating/run.aggressive text/plain root:root 0o644 778 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter/run text/plain root:root 0o644 728 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter/run.aggressive text/plain root:root 0o644 742 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter/request_can_eventually_enter.mcf text/plain root:root 0o644 266 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock/run text/plain root:root 0o644 590 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock/no_deadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock/run.aggressive text/plain root:root 0o644 604 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/bakery.mcrl2 text/plain root:root 0o644 875 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/always_can_get_number.mcf text/plain root:root 0o644 218 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/games/wolf_goat_cabbage/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/request_can_eventually_enter.mcf text/plain root:root 0o644 264 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/run.py text/plain root:root 0o644 1.1 KB
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter/run text/plain root:root 0o644 735 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter/request_must_eventually_enter.mcf text/plain root:root 0o644 273 bytes
/usr/share/doc/mcrl2/examples/academic/bakery/request_must_eventually_enter/run.aggressive text/plain root:root 0o644 749 bytes
/usr/share/doc/mcrl2/examples/academic/abp/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/abp/read_then_eventually_send.mcf text/plain root:root 0o644 465 bytes
/usr/share/doc/mcrl2/examples/academic/abp/read_then_eventually_send_if_fair.mcf text/plain root:root 0o644 428 bytes
/usr/share/doc/mcrl2/examples/academic/abp/abp.mcrl2 text/plain root:root 0o644 920 bytes
/usr/share/doc/mcrl2/examples/academic/abp/no_duplication_of_messages.mcf text/plain root:root 0o644 213 bytes
/usr/share/doc/mcrl2/examples/academic/abp/no_generation_of_messages.mcf text/plain root:root 0o644 190 bytes
/usr/share/doc/mcrl2/examples/academic/abp/infinitely_often_receive_for_all_d.mcf text/plain root:root 0o644 211 bytes
/usr/share/doc/mcrl2/examples/academic/abp/infinitely_often_receive_d1.mcf text/plain root:root 0o644 182 bytes
/usr/share/doc/mcrl2/examples/academic/abp/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/games/knights/run.py text/plain root:root 0o644 65 bytes
/usr/share/doc/mcrl2/examples/academic/abp/infinitely_often_enabled_then_infinitely_often_taken.mcf text/plain root:root 0o644 406 bytes
/usr/share/doc/mcrl2/examples/academic/abp/run.py text/plain root:root 0o644 1.6 KB
/usr/share/doc/mcrl2/examples/academic/abp/infinitely_often_lost.mcf text/plain root:root 0o644 390 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/abp_bw/read_then_eventually_send.mcf text/plain root:root 0o644 443 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/read_then_eventually_send_if_fair.mcf text/plain root:root 0o644 517 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/abp_bw.mcrl2 text/plain root:root 0o644 1.2 KB
/usr/share/doc/mcrl2/examples/academic/abp_bw/no_duplication_of_messages.mcf text/plain root:root 0o644 213 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/no_generation_of_messages.mcf text/plain root:root 0o644 190 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/infinitely_often_receive_for_all_d.mcf text/plain root:root 0o644 189 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/infinitely_often_receive_d1.mcf text/plain root:root 0o644 160 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/infinitely_often_enabled_then_infinitely_often_taken.mcf text/plain root:root 0o644 384 bytes
/usr/share/doc/mcrl2/examples/academic/abp_bw/run.py text/plain root:root 0o644 1.7 KB
/usr/share/doc/mcrl2/examples/academic/abp_bw/infinitely_often_lost.mcf text/plain root:root 0o644 368 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/onebit/infinitely_often_receive_dat1.mcf text/plain root:root 0o644 130 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/read_then_eventually_send.mcf text/plain root:root 0o644 456 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/read_then_eventually_send_if_fair.mcf text/plain root:root 0o644 443 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/onebit.mcrl2 text/plain root:root 0o644 2.4 KB
/usr/share/doc/mcrl2/examples/academic/onebit/no_duplication_of_messages.mcf text/plain root:root 0o644 213 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/no_generation_of_messages.mcf text/plain root:root 0o644 190 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/infinitely_often_receive_for_all_d.mcf text/plain root:root 0o644 155 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/infinitely_often_enabled_then_infinitely_often_taken.mcf text/plain root:root 0o644 307 bytes
/usr/share/doc/mcrl2/examples/academic/onebit/run.py text/plain root:root 0o644 1.7 KB
/usr/share/doc/mcrl2/examples/academic/onebit/infinitely_often_lost.mcf text/plain root:root 0o644 200 bytes
/usr/share/doc/mcrl2/examples/academic/allow/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/allow/allow.mcrl2 text/plain root:root 0o644 1.6 KB
/usr/share/doc/mcrl2/examples/academic/allow/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/academic/allow/run.py text/plain root:root 0o644 574 bytes
/usr/share/doc/mcrl2/examples/academic/swp/ root:root 0o755
/usr/share/doc/mcrl2/examples/academic/swp/read_then_eventually_send.mcf text/plain root:root 0o644 465 bytes
/usr/share/doc/mcrl2/examples/academic/swp/swp_lists.mcrl2 text/plain root:root 0o644 2.6 KB
/usr/share/doc/mcrl2/examples/academic/swp/swp_fgpbp.mcrl2 text/plain root:root 0o644 2.4 KB
/usr/share/doc/mcrl2/examples/academic/swp/read_then_eventually_send_if_fair.mcf text/plain root:root 0o644 516 bytes
/usr/share/doc/mcrl2/examples/academic/swp/no_duplication_of_messages.mcf text/plain root:root 0o644 213 bytes
/usr/share/doc/mcrl2/examples/academic/swp/no_generation_of_messages.mcf text/plain root:root 0o644 190 bytes
/usr/share/doc/mcrl2/examples/academic/swp/swp_func.mcrl2 text/plain root:root 0o644 2.1 KB
/usr/share/doc/mcrl2/examples/academic/swp/infinitely_often_receive_for_all_d.mcf text/plain root:root 0o644 211 bytes
/usr/share/doc/mcrl2/examples/academic/swp/infinitely_often_receive_d1.mcf text/plain root:root 0o644 182 bytes
/usr/share/doc/mcrl2/examples/academic/swp/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/academic/swp/swp_with_tanenbaums_bug.mcrl2.gz application/gzip root:root 0o644 3.9 KB
/usr/share/doc/mcrl2/examples/academic/swp/infinitely_often_enabled_then_infinitely_often_taken.mcf text/plain root:root 0o644 406 bytes
/usr/share/doc/mcrl2/examples/academic/swp/run.py text/plain root:root 0o644 2.3 KB
/usr/share/doc/mcrl2/examples/academic/swp/infinitely_often_lost.mcf text/plain root:root 0o644 355 bytes
/usr/share/doc/mcrl2/examples/games/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/clobber/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/clobber/clobber.mcrl2 text/plain root:root 0o644 3.8 KB
/usr/share/doc/mcrl2/examples/games/clobber/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/games/clobber/run.py text/plain root:root 0o644 260 bytes
/usr/share/doc/mcrl2/examples/games/othello/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/othello/exists_draw.mcf text/plain root:root 0o644 26 bytes
/usr/share/doc/mcrl2/examples/games/othello/red_can_win.mcf text/plain root:root 0o644 30 bytes
/usr/share/doc/mcrl2/examples/games/othello/white_can_win.mcf text/plain root:root 0o644 32 bytes
/usr/share/doc/mcrl2/examples/games/othello/white_wins_always.mcf text/plain root:root 0o644 363 bytes
/usr/share/doc/mcrl2/examples/games/othello/othello.mcrl2.gz application/gzip root:root 0o644 2.2 KB
/usr/share/doc/mcrl2/examples/games/othello/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/games/othello/red_wins_always.mcf text/plain root:root 0o644 364 bytes
/usr/share/doc/mcrl2/examples/games/magic_square/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/magic_square/magic_square.mcrl2 text/plain root:root 0o644 944 bytes
/usr/share/doc/mcrl2/examples/games/magic_square/run.py text/plain root:root 0o644 75 bytes
/usr/share/doc/mcrl2/examples/games/hex/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/hex/hex.mcrl2 text/plain root:root 0o644 3.8 KB
/usr/share/doc/mcrl2/examples/games/snake/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/snake/white_has_winning_strategy.mcf text/plain root:root 0o644 206 bytes
/usr/share/doc/mcrl2/examples/games/snake/eventually_white_or_black_wins.mcf text/plain root:root 0o644 45 bytes
/usr/share/doc/mcrl2/examples/games/snake/white_can_win.mcf text/plain root:root 0o644 33 bytes
/usr/share/doc/mcrl2/examples/games/snake/snake.mcrl2 text/plain root:root 0o644 4.0 KB
/usr/share/doc/mcrl2/examples/games/snake/black_has_winning_strategy.mcf text/plain root:root 0o644 206 bytes
/usr/share/doc/mcrl2/examples/games/snake/black_can_win.mcf text/plain root:root 0o644 32 bytes
/usr/share/doc/mcrl2/examples/games/snake/run.py text/plain root:root 0o644 729 bytes
/usr/share/doc/mcrl2/examples/games/domineering/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/domineering/player1_can_win.mcf text/plain root:root 0o644 35 bytes
/usr/share/doc/mcrl2/examples/games/domineering/eventually_player1_or_player2_wins.mcf text/plain root:root 0o644 49 bytes
/usr/share/doc/mcrl2/examples/games/domineering/player2_can_win.mcf text/plain root:root 0o644 35 bytes
/usr/share/doc/mcrl2/examples/games/domineering/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/games/domineering/domineering.mcrl2 text/plain root:root 0o644 3.0 KB
/usr/share/doc/mcrl2/examples/games/domineering/run.py text/plain root:root 0o644 849 bytes
/usr/share/doc/mcrl2/examples/games/knights/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/knights/knights.mcrl2.gz application/gzip root:root 0o644 1.5 KB
/usr/share/doc/mcrl2/examples/games/wolf_goat_cabbage/wolf_goat_cabbage.mcrl2 text/plain root:root 0o644 1.9 KB
/usr/share/doc/mcrl2/examples/games/wolf_goat_cabbage/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/games/wolf_goat_cabbage/run.py text/plain root:root 0o644 330 bytes
/usr/share/doc/mcrl2/examples/games/rubiks_cube/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/rubiks_cube/rubiks_cube.mcrl2.gz application/gzip root:root 0o644 2.0 KB
/usr/share/doc/mcrl2/examples/games/rubiks_cube/run.py text/plain root:root 0o644 74 bytes
/usr/share/doc/mcrl2/examples/games/four_in_a_row/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/four_in_a_row/four_in_a_row.mcrl2.gz application/gzip root:root 0o644 2.2 KB
/usr/share/doc/mcrl2/examples/games/four_in_a_row/run.py text/plain root:root 0o644 212 bytes
/usr/share/doc/mcrl2/examples/games/peg_solitaire/ root:root 0o755
/usr/share/doc/mcrl2/examples/games/peg_solitaire/peg_solitaire.mcrl2.gz application/gzip root:root 0o644 2.6 KB
/usr/share/doc/mcrl2/examples/games/peg_solitaire/run.py text/plain root:root 0o644 380 bytes
/usr/share/doc/mcrl2/examples/project/ root:root 0o755
/usr/share/doc/mcrl2/examples/project/wafer_stepper/ root:root 0o755
/usr/share/doc/mcrl2/examples/project/wafer_stepper/wafer_stepper.dgd.gz application/gzip root:root 0o644 1.8 KB
/usr/share/doc/mcrl2/examples/project/wafer_stepper/wafer_stepper.mcrl2.gz application/gzip root:root 0o644 1.3 KB
/usr/share/doc/mcrl2/examples/project/wafer_stepper/wafer_stepper.dgc.gz application/gzip root:root 0o644 533 bytes
/usr/share/doc/mcrl2/examples/project/abp/ root:root 0o755
/usr/share/doc/mcrl2/examples/project/abp/abp.dgc.gz application/gzip root:root 0o644 406 bytes
/usr/share/doc/mcrl2/examples/project/abp/abp.mcrl2 text/plain root:root 0o644 956 bytes
/usr/share/doc/mcrl2/examples/project/abp/abp.dgd.gz application/gzip root:root 0o644 1.1 KB
/usr/share/doc/mcrl2/examples/visualisation/ root:root 0o755
/usr/share/doc/mcrl2/examples/visualisation/README text/plain root:root 0o644 609 bytes
/usr/share/doc/mcrl2/examples/pbes/ root:root 0o755
/usr/share/doc/mcrl2/examples/pbes/nonmonotonic.txt text/plain root:root 0o644 65 bytes
/usr/share/doc/mcrl2/examples/pbes/pbes_inst_tr_4.txt text/plain root:root 0o644 394 bytes
/usr/share/doc/mcrl2/examples/pbes/pbes_inst_tr_3.txt text/plain root:root 0o644 303 bytes
/usr/share/doc/mcrl2/examples/pbes/pbes_inst_tr_1.txt text/plain root:root 0o644 346 bytes
/usr/share/doc/mcrl2/examples/pbes/pbes_inst_tr_2.txt text/plain root:root 0o644 338 bytes
/usr/share/doc/mcrl2/examples/pbes/datatypes.txt text/plain root:root 0o644 226 bytes
/usr/share/doc/mcrl2/examples/pbes/pbes_inst_tr_5.txt text/plain root:root 0o644 487 bytes
/usr/share/doc/mcrl2/examples/pbes/true.txt text/plain root:root 0o644 103 bytes
/usr/share/doc/mcrl2/examples/pbes/overloading.txt text/plain root:root 0o644 225 bytes
/usr/share/doc/mcrl2/examples/modal-formulas/ root:root 0o755
/usr/share/doc/mcrl2/examples/modal-formulas/nolivelock.mcf text/plain root:root 0o644 99 bytes
/usr/share/doc/mcrl2/examples/modal-formulas/nodeadlock.mcf text/plain root:root 0o644 98 bytes
/usr/share/doc/mcrl2/examples/industrial/ root:root 0o755
/usr/share/doc/mcrl2/examples/industrial/DIRAC/ root:root 0o755
/usr/share/doc/mcrl2/examples/industrial/DIRAC/WMS.mcrl2.gz application/gzip root:root 0o644 5.5 KB
/usr/share/doc/mcrl2/examples/industrial/DIRAC/SMS.mcrl2.gz application/gzip root:root 0o644 4.0 KB
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_WMS/ root:root 0o755
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_WMS/jobFailedToDone.mcf text/plain root:root 0o644 527 bytes
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_WMS/noZombieJobs.mcf text/plain root:root 0o644 544 bytes
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_WMS/jobFailedToDone.trc.gz application/gzip root:root 0o644 2.7 KB
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_WMS/noZombieJobs.trc application/octet-stream root:root 0o644 1.7 KB
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_SMS/ root:root 0o755
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_SMS/noTransitFromDeleted.trc application/octet-stream root:root 0o644 2.2 KB
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_SMS/noTransitFromDeleted.mcf text/plain root:root 0o644 367 bytes
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_SMS/eventuallyDeleted.trc application/octet-stream root:root 0o644 1.8 KB
/usr/share/doc/mcrl2/examples/industrial/DIRAC/properties_SMS/eventuallyDeleted.mcf text/plain root:root 0o644 468 bytes
/usr/share/doc/mcrl2/examples/industrial/chatbox/ root:root 0o755
/usr/share/doc/mcrl2/examples/industrial/chatbox/chatbox.mcrl2.gz application/gzip root:root 0o644 1.3 KB
/usr/share/doc/mcrl2/examples/industrial/chatbox/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/industrial/chatbox/run.py text/plain root:root 0o644 243 bytes
/usr/share/doc/mcrl2/examples/industrial/alma/ root:root 0o755
/usr/share/doc/mcrl2/examples/industrial/alma/alma.mcrl2.gz application/gzip root:root 0o644 2.5 KB
/usr/share/doc/mcrl2/examples/industrial/alma/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/industrial/alma/run.py text/plain root:root 0o644 222 bytes
/usr/share/doc/mcrl2/examples/industrial/ieee-11073/ root:root 0o755
/usr/share/doc/mcrl2/examples/industrial/ieee-11073/data_can_be_communicated.mcf text/plain root:root 0o644 69 bytes
/usr/share/doc/mcrl2/examples/industrial/ieee-11073/no_successful_transmission_in_inconsistent_operating_states.mcf text/plain root:root 0o644 273 bytes
/usr/share/doc/mcrl2/examples/industrial/ieee-11073/infinite_data_communication_is_possible.mcf text/plain root:root 0o644 185 bytes
/usr/share/doc/mcrl2/examples/industrial/ieee-11073/nodeadlock.mcf text/plain root:root 0o644 18 bytes
/usr/share/doc/mcrl2/examples/industrial/ieee-11073/no_inconsistent_operating_states.mcf text/plain root:root 0o644 84 bytes
/usr/share/doc/mcrl2/examples/industrial/ieee-11073/11073.mcrl2.gz application/gzip root:root 0o644 5.0 KB
/usr/share/doc/mcrl2/examples/industrial/brp/ root:root 0o755
/usr/share/doc/mcrl2/examples/industrial/brp/brp.mcrl2 text/plain root:root 0o644 2.7 KB
/usr/share/doc/mcrl2/examples/industrial/brp/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/industrial/brp/run.py text/plain root:root 0o644 215 bytes
/usr/share/doc/mcrl2/examples/industrial/lift/ root:root 0o755
/usr/share/doc/mcrl2/examples/industrial/lift/lift3-final.mcrl2.gz application/gzip root:root 0o644 2.5 KB
/usr/share/doc/mcrl2/examples/industrial/lift/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/industrial/lift/lift3-init.mcrl2.gz application/gzip root:root 0o644 1.7 KB
/usr/share/doc/mcrl2/examples/industrial/lift/run.py text/plain root:root 0o644 747 bytes
/usr/share/doc/mcrl2/examples/industrial/1394/ root:root 0o755
/usr/share/doc/mcrl2/examples/industrial/1394/1394-fin.mcrl2.gz application/gzip root:root 0o644 3.6 KB
/usr/share/doc/mcrl2/examples/industrial/1394/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/industrial/1394/run.py text/plain root:root 0o644 250 bytes
/usr/share/doc/mcrl2/examples/industrial/garage/ root:root 0o755
/usr/share/doc/mcrl2/examples/industrial/garage/movie.trc text/plain root:root 0o644 2.8 KB
/usr/share/doc/mcrl2/examples/industrial/garage/readme.txt text/plain root:root 0o644 1.5 KB
/usr/share/doc/mcrl2/examples/industrial/garage/garage-r2.mcrl2.gz application/gzip root:root 0o644 7.7 KB
/usr/share/doc/mcrl2/examples/industrial/garage/garage-r1.mcrl2.gz application/gzip root:root 0o644 8.0 KB
/usr/share/doc/mcrl2/examples/industrial/garage/shuttle-error.trc text/plain root:root 0o644 282 bytes
/usr/share/doc/mcrl2/examples/industrial/garage/garage.mcrl2.gz application/gzip root:root 0o644 8.0 KB
/usr/share/doc/mcrl2/examples/industrial/garage/garage-r3.mcrl2.gz application/gzip root:root 0o644 7.6 KB
/usr/share/doc/mcrl2/examples/industrial/garage/garage-r2-error.mcrl2.gz application/gzip root:root 0o644 7.6 KB
/usr/share/doc/mcrl2/examples/industrial/garage/lift-error.trc text/plain root:root 0o644 273 bytes
/usr/share/doc/mcrl2/examples/industrial/garage/nodeadlock.mcf text/plain root:root 0o644 148 bytes
/usr/share/doc/mcrl2/examples/industrial/garage/run.py text/plain root:root 0o644 264 bytes
/usr/share/doc/mcrl2/examples/industrial/garage/garage-ver.mcrl2.gz application/gzip root:root 0o644 8.4 KB
/usr/share/doc/mcrl2/examples/timed/ root:root 0o755
/usr/share/doc/mcrl2/examples/timed/light/light.mcrl2 text/plain root:root 0o644 1.0 KB
/usr/share/doc/mcrl2/examples/timed/clock/ root:root 0o755
/usr/share/doc/mcrl2/examples/timed/clock/clock_hasty.mcrl2 text/plain root:root 0o644 213 bytes
/usr/share/doc/mcrl2/examples/timed/clock/clock_exact.mcrl2 text/plain root:root 0o644 135 bytes
/usr/share/doc/mcrl2/examples/timed/clock/clock_drift.mcrl2 text/plain root:root 0o644 386 bytes
/usr/share/doc/mcrl2/examples/timed/ball_game/ root:root 0o755
/usr/share/doc/mcrl2/examples/timed/ball_game/ball_game.mcrl2 text/plain root:root 0o644 832 bytes
/usr/share/doc/mcrl2/examples/timed/fischer/ root:root 0o755
/usr/share/doc/mcrl2/examples/timed/fischer/fischer_1000.mcrl2 text/plain root:root 0o644 1.2 KB
/usr/share/doc/mcrl2/examples/timed/fischer/fischer_100.mcrl2 text/plain root:root 0o644 1.2 KB
/usr/share/doc/mcrl2/examples/timed/fischer/fischer_10000.mcrl2 text/plain root:root 0o644 1.2 KB
/usr/share/doc/mcrl2/examples/timed/fischer/fischer_10.mcrl2 text/plain root:root 0o644 1.2 KB
/usr/share/doc/mcrl2/examples/timed/fischer/fischer.mcrl2 text/plain root:root 0o644 1.4 KB
/usr/share/doc/mcrl2/examples/timed/simple/ root:root 0o755
/usr/share/doc/mcrl2/examples/timed/simple/simple.mcrl2 text/plain root:root 0o644 551 bytes
/usr/share/doc/mcrl2/changelog.Debian.gz application/gzip root:root 0o644 1.7 KB

APT Browse - Built by Thomas Orozco.