5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski6 1530 1620 3420 5985
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 17 12 0.0000 4 135 795 1890 5400 Interfaces\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 180 1875 1530 4850 (Signature, Sentences)\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 17 12 0.0000 4 180 1170 1800 4300 Static analysis\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 180 1230 1710 3750 Abstract syntax\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 17 12 0.0000 4 135 540 1980 3200 Parser\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 18 12 0.0000 4 180 1740 1530 1755 Basic specifications\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 135 345 2115 2650 Text\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 165 1095 1710 5950 XML, ATerms\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 4050 6435 4050 1350 675 1350 675 6435 4050 6435
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 8325 6435 8325 1350 4950 1350 4950 6435 8325 6435
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 12645 6390 12645 1305 9270 1305 9270 6390 12645 6390
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 2250 7875 2250 7200 675 7200 675 7875 2250 7875
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 3150 8775 3150 8190 1305 8190 1305 8775 3150 8775
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 6570 2565 6570 2745
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 6345 3015 5940 3195
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 5895 3465 6300 3735
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 6930 3015 7245 3105
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 7380 3375 6885 3735
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 6345 4005 5850 4320
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 6480 4095 5940 4950
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 6615 4095 6615 5625
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 6840 4050 7425 4275
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 6750 4095 7335 4995
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 10935 2745 10935 3015
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 0 0 1.00 60.00 120.00
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 10935 3240 10935 3510
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 10935 4905 10935 5220
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 0 0 1.00 60.00 120.00
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 10935 5445 10935 5760
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 2295 2700 2295 3015
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 0 0 1.00 60.00 120.00
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 2295 3240 2295 3510
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 2295 3825 2295 4095
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 0 0 1.00 60.00 120.00
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 2295 4365 2295 4635
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 2295 4905 2295 5175
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 0 0 1.00 60.00 120.00
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 2295 5445 2295 5760
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 0 0 1.00 60.00 120.00
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 2295 6435 2295 7065
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 4095 3285 4950 3285
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 0 0 1.00 60.00 120.00
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 8325 3285 9270 3285
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 0 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 10935 3825 10935 4095
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 0 0 1.00 60.00 120.00
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 10935 4365 10935 4635
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 4185 7894 4185 7200 2565 7200 2565 7894 4185 7894
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 4365 8953 4365 7065 450 7065 450 8953 4365 8953
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 4 0 1 0 7 50 0 -1 0.000 0 0 7 0 0 5
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 12645 8550 12645 7290 9360 7290 9360 8550 12645 8550
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 0 0 1.00 60.00 120.00
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 10935 6390 10935 7290
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski2 1 0 1 0 7 50 0 -1 0.000 0 0 -1 1 0 2
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 0 0 1.00 60.00 120.00
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski 4365 7965 9360 7965
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 18 12 0.0000 4 180 1665 1530 2000 (logic-specific tools\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 18 12 0.0000 4 165 2190 1305 2200 for CASL and extensions)\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 180 1305 810 7470 Theorem prover\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 17 12 0.0000 4 180 1485 2610 7695 (e.g. ELAN-CASL)\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 180 1695 1395 8415 Consistency checker\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 17 12 0.0000 4 180 1380 765 7695 (e.g. HOL-CASL)\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 135 690 2925 7470 Rewriter\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 17 12 0.0000 4 180 870 1710 8640 (e.g. CCC)\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 18 12 0.0000 4 180 2520 5400 1755 Graph of CASL sublanguages\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 18 12 0.0000 4 135 1305 5985 1935 and extensions\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 135 570 5355 3375 PFOL=\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 135 780 7155 3330 SubFOL=\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 180 330 6435 2475 Eq=\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 135 450 6390 3015 FOL=\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 135 480 6345 3960 CASL\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 135 780 5220 4545 SB-CASL\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 135 915 6165 5895 CSP-CASL\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 135 855 5400 5265 CASL-LTL\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 135 720 7155 5220 CoCASL\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 135 810 7155 4500 HasCASL\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 17 12 0.0000 4 135 795 10530 5400 Interfaces\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 17 12 0.0000 4 180 1170 10440 4300 Static analysis\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 180 1230 10350 3750 Abstract syntax\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 17 12 0.0000 4 135 540 10620 3200 Parser\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 135 345 10755 2650 Text\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 165 1095 10350 5950 XML, ATerms\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 18 12 0.0000 4 135 2415 9810 1665 Structured and architectural\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 18 12 0.0000 4 180 1200 10395 1890 specifications\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 180 1620 10170 4850 Development graph\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 180 2655 9720 8325 Management of proofs & change\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 16 12 0.0000 4 180 2355 9810 7965 Heterogeneous proof engine\001
5277e290ad70afdf97f359019afd8fb5816f4102Till Mossakowski4 0 0 50 0 18 12 0.0000 4 135 540 10665 7650 MAYA\001