Index of /xml/Marseille/GC/logique/LTL

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]LTL/2005-07-05 08:14 -  
[ ]and.con.types.xml.gz2004-04-08 18:24 194  
[ ]run.con.types.xml.gz2004-04-08 18:24 194  
[ ]step.ind.types.xml.gz2004-04-08 18:24 195  
[ ]next.con.types.xml.gz2004-04-08 18:24 196  
[ ]safe.con.types.xml.gz2004-04-08 18:24 196  
[ ]until.ind.types.xml.gz2004-04-08 18:24 197  
[ ]trace.con.types.xml.gz2004-04-08 18:24 198  
[ ]unless.ind.types.xml.gz2004-04-08 18:24 198  
[ ]always.ind.types.xml.gz2004-04-08 18:24 199  
[ ]stream.ind.types.xml.gz2004-04-08 18:24 199  
[ ]enabled.ind.types.xml.gz2004-04-08 18:24 200  
[ ]implies.con.types.xml.gz2004-04-08 18:24 200  
[ ]tl_str.con.types.xml.gz2004-04-08 18:24 200  
[ ]fairstr.con.types.xml.gz2004-04-08 18:24 201  
[ ]fairness.con.types.xml.gz2004-04-08 18:24 203  
[ ]leads_to.con.types.xml.gz2004-04-08 18:24 203  
[ ]head_str.con.types.xml.gz2004-04-08 18:24 204  
[ ]invariant.con.types.xml.gz2004-04-08 18:24 204  
[ ]Eventually.ind.types.xml.gz2004-04-08 18:24 205  
[ ]and_state.con.types.xml.gz2004-04-08 18:24 205  
[ ]fair_step.ind.types.xml.gz2004-04-08 18:24 205  
[ ]once_until.con.types.xml.gz2004-04-08 18:24 207  
[ ]is_followed.con.types.xml.gz2004-04-08 18:24 209  
[ ]once_always.con.types.xml.gz2004-04-08 18:24 209  
[ ]leads_to_via.con.types.xml.gz2004-04-08 18:24 212  
[ ]state_formula.con.types.xml.gz2004-04-08 18:24 213  
[ ]stream_formula.con.types.xml.gz2004-04-08 18:24 214  
[ ]strong_fairstr.con.types.xml.gz2004-04-08 18:24 214  
[ ]none_or_one_step.ind.types.xml.gz2004-04-08 18:24 216  
[ ]infinitely_often.con.types.xml.gz2004-04-08 18:24 217  
[ ]is_always_followed.con.types.xml.gz2004-04-08 18:24 221  
[ ]state2stream_formula.con.types.xml.gz2004-04-08 18:24 225  
[ ]Eventually_permanently.con.types.xml.gz2004-04-08 18:24 227  
[ ]state_formula.con.xml.gz2004-04-08 18:24 246  
[ ]stream_formula.con.xml.gz2004-04-08 18:24 248  
[ ]next.con.xml.gz2004-04-08 18:24 298  
[ ]tl_str.con.xml.gz2004-04-08 18:24 298  
[ ]and.con.xml.gz2004-04-08 18:24 308  
[ ]and_state.con.xml.gz2004-04-08 18:24 313  
[ ]head_str.con.xml.gz2004-04-08 18:24 316  
[ ]state_formula.con.body.xml.gz2004-04-08 18:24 318  
[ ]state2stream_formula.con.xml.gz2004-04-08 18:24 322  
[ ]trace.con.xml.gz2004-04-08 18:24 326  
[ ]stream_formula.con.body.xml.gz2004-04-08 18:24 329  
[ ]invariant.con.xml.gz2004-04-08 18:24 330  
[ ]run.con.xml.gz2004-04-08 18:24 331  
[ ]safe.con.xml.gz2004-04-08 18:24 332  
[ ]fairstr.con.xml.gz2004-04-08 18:24 334  
[ ]leads_to.con.xml.gz2004-04-08 18:24 344  
[ ]strong_fairstr.con.xml.gz2004-04-08 18:24 348  
[ ]implies.con.xml.gz2004-04-08 18:24 355  
[ ]fairness.con.xml.gz2004-04-08 18:24 357  
[ ]infinitely_often.con.xml.gz2004-04-08 18:24 359  
[ ]once_until.con.xml.gz2004-04-08 18:24 361  
[ ]is_followed.con.xml.gz2004-04-08 18:24 362  
[ ]once_always.con.xml.gz2004-04-08 18:24 364  
[ ]leads_to_via.con.xml.gz2004-04-08 18:24 370  
[ ]Eventually_permanently.con.xml.gz2004-04-08 18:24 371  
[ ]is_always_followed.con.xml.gz2004-04-08 18:24 373  
[ ]invariant.con.body.xml.gz2004-04-08 18:24 394  
[ ]stream.ind.xml.gz2004-04-08 18:24 399  
[ ]once_until.con.body.xml.gz2004-04-08 18:24 409  
[ ]infinitely_often.con.body.xml.gz2004-04-08 18:24 429  
[ ]next.con.body.xml.gz2004-04-08 18:24 430  
[ ]Eventually_permanently.con.body.xml.gz2004-04-08 18:24 433  
[ ]always_trace.con.xml.gz2004-04-08 18:24 444  
[ ]state2stream_formula.con.body.xml.gz2004-04-08 18:24 448  
[ ]is_always_followed.con.body.xml.gz2004-04-08 18:24 451  
[ ]always_fairstr.con.xml.gz2004-04-08 18:24 456  
[ ]strong_fairstr_implies_fairstr.con.xml.gz2004-04-08 18:24 461  
[ ]safe_and.con.xml.gz2004-04-08 18:24 462  
[ ]and.con.body.xml.gz2004-04-08 18:24 469  
[ ]leads_to_via.con.body.xml.gz2004-04-08 18:24 470  
[ ]and_state.con.body.xml.gz2004-04-08 18:24 479  
[ ]always_always_bis.con.xml.gz2004-04-08 18:24 487  
[ ]run.con.body.xml.gz2004-04-08 18:24 487  
[ ]trace.con.body.xml.gz2004-04-08 18:24 493  
[ ]tl_str.con.body.xml.gz2004-04-08 18:24 496  
[ ]always_and.con.xml.gz2004-04-08 18:24 503  
[ ]safe.con.body.xml.gz2004-04-08 18:24 503  
[ ]safe_and_state.con.xml.gz2004-04-08 18:24 503  
[ ]is_followed.con.body.xml.gz2004-04-08 18:24 504  
[ ]head_str.con.body.xml.gz2004-04-08 18:24 505  
[ ]always_and_bis.con.xml.gz2004-04-08 18:24 510  
[ ]once_eventually.con.xml.gz2004-04-08 18:24 529  
[ ]and_always.con.xml.gz2004-04-08 18:24 530  
[ ]implies.con.body.xml.gz2004-04-08 18:24 530  
[ ]once_always.con.body.xml.gz2004-04-08 18:24 543  
[ ]always_and_and.con.xml.gz2004-04-08 18:24 545  
[ ]always_implies_always_stream.con.xml.gz2004-04-08 18:24 547  
[ ]step_ind.con.xml.gz2004-04-08 18:24 548  
[ ]inv_clos.con.xml.gz2004-04-08 18:24 549  
[ ]and_always_state.con.xml.gz2004-04-08 18:24 551  
[ ]safety.con.xml.gz2004-04-08 18:24 553  
[ ]always_P.con.xml.gz2004-04-08 18:24 556  
[ ]leads_to.con.body.xml.gz2004-04-08 18:24 558  
[ ]safeP_safeQ_stream.con.xml.gz2004-04-08 18:24 567  
[ ]strong_fairstr.con.body.xml.gz2004-04-08 18:24 570  
[ ]always_imp_always.con.xml.gz2004-04-08 18:24 572  
[ ]step.ind.xml.gz2004-04-08 18:24 573  
[ ]induct.con.xml.gz2004-04-08 18:24 574  
[ ]until_eventually.con.xml.gz2004-04-08 18:24 578  
[ ]implies_inf_often.con.xml.gz2004-04-08 18:24 580  
[ ]always_implies_always.con.xml.gz2004-04-08 18:24 581  
[ ]always_always.con.xml.gz2004-04-08 18:24 583  
[ ]step_ind.con.types.xml.gz2004-04-08 18:24 583  
[ ]fairstr.con.body.xml.gz2004-04-08 18:24 584  
[ ]eventually_implies_eventually.con.xml.gz2004-04-08 18:24 596  
[ ]fair_step_ind.con.xml.gz2004-04-08 18:24 599  
[ ]none_or_one_step.ind.xml.gz2004-04-08 18:24 603  
[ ]enabled_ind.con.xml.gz2004-04-08 18:24 608  
[ ]safeP_safeQ.con.xml.gz2004-04-08 18:24 613  
[ ]fair_step.ind.xml.gz2004-04-08 18:24 617  
[ ]fair_step_ind.con.types.xml.gz2004-04-08 18:24 629  
[ ]always_always_bis.con.body.xml.gz2004-04-08 18:24 632  
[ ]always_always_bis.con.types.xml.gz2004-04-08 18:24 632  
[ ]none_or_one_step_ind.con.xml.gz2004-04-08 18:24 646  
[ ]enabled.ind.xml.gz2004-04-08 18:24 650  
[ ]enabled_ind.con.types.xml.gz2004-04-08 18:24 652  
[ ]always_always_implies_always.con.xml.gz2004-04-08 18:24 657  
[ ]step_ind.con.body.xml.gz2004-04-08 18:24 667  
[ ]always.ind.xml.gz2004-04-08 18:24 671  
[ ]ltv_equiv_ltv.con.xml.gz2004-04-08 18:24 673  
[ ]inv_implies_inf_often.con.xml.gz2004-04-08 18:24 675  
[ ]once_equiv_once.con.xml.gz2004-04-08 18:24 675  
[ ]eventually_until.con.xml.gz2004-04-08 18:24 683  
[ ]always_trace.con.body.xml.gz2004-04-08 18:24 690  
[ ]none_or_one_step_ind.con.types.xml.gz2004-04-08 18:24 697  
[ ]Eventually.ind.xml.gz2004-04-08 18:24 700  
[ ]always_implies_always_state.con.xml.gz2004-04-08 18:24 700  
[ ]until_implies_until_stream.con.xml.gz2004-04-08 18:24 704  
[ ]fair_step_ind.con.body.xml.gz2004-04-08 18:24 714  
[ ]fairness.con.body.xml.gz2004-04-08 18:24 715  
[ ]enabled_ind.con.body.xml.gz2004-04-08 18:24 716  
[ ]until_implies_until.con.xml.gz2004-04-08 18:24 725  
[ ]always_on_run.con.xml.gz2004-04-08 18:24 728  
[ ]followed_until.con.xml.gz2004-04-08 18:24 733  
[ ]always_unless.con.xml.gz2004-04-08 18:24 758  
[ ]Eventually_ind.con.xml.gz2004-04-08 18:24 759  
[ ]always_one_step_leads_to.con.xml.gz2004-04-08 18:24 765  
[ ]one_step_leads_to.con.xml.gz2004-04-08 18:24 769  
[ ]until_implies_until_state.con.xml.gz2004-04-08 18:24 771  
[ ]until_or.con.xml.gz2004-04-08 18:24 780  
[ ]once_equiv_once.con.body.xml.gz2004-04-08 18:24 788  
[ ]leadsto_tx_l_or.con.xml.gz2004-04-08 18:24 792  
[ ]until_trans.con.xml.gz2004-04-08 18:24 792  
[ ]until.ind.xml.gz2004-04-08 18:24 805  
[ ]unless.ind.xml.gz2004-04-08 18:24 808  
[ ]none_or_one_step_ind.con.body.xml.gz2004-04-08 18:24 833  
[ ]until_ind.con.xml.gz2004-04-08 18:24 835  
[ ]always_trace.con.types.xml.gz2004-04-08 18:24 842  
[ ]always_fairstr.con.body.xml.gz2004-04-08 18:24 849  
[ ]and_always.con.body.xml.gz2004-04-08 18:24 850  
[ ]and_always.con.types.xml.gz2004-04-08 18:24 856  
[ ]safe_and.con.body.xml.gz2004-04-08 18:24 879  
[ ]once_equiv_once.con.types.xml.gz2004-04-08 18:24 905  
[ ]inv_clos.con.body.xml.gz2004-04-08 18:24 913  
[ ]inv_clos.con.types.xml.gz2004-04-08 18:24 922  
[ ]safe_and_state.con.body.xml.gz2004-04-08 18:24 924  
[ ]safeP_safeQ_stream.con.body.xml.gz2004-04-08 18:24 951  
[ ]safety.con.body.xml.gz2004-04-08 18:24 1.0K 
[ ]always_fairstr.con.types.xml.gz2004-04-08 18:24 1.0K 
[ ]safeP_safeQ.con.body.xml.gz2004-04-08 18:24 1.0K 
[ ]safe_and.con.types.xml.gz2004-04-08 18:24 1.0K 
[ ]safety.con.types.xml.gz2004-04-08 18:24 1.1K 
[ ]until_eventually.con.types.xml.gz2004-04-08 18:24 1.1K 
[ ]until_eventually.con.body.xml.gz2004-04-08 18:24 1.1K 
[ ]safeP_safeQ_stream.con.types.xml.gz2004-04-08 18:24 1.1K 
[ ]Eventually_ind.con.types.xml.gz2004-04-08 18:24 1.2K 
[ ]safe_and_state.con.types.xml.gz2004-04-08 18:24 1.2K 
[ ]until_implies_until_stream.con.types.xml.gz2004-04-08 18:24 1.2K 
[ ]Eventually_ind.con.body.xml.gz2004-04-08 18:24 1.3K 
[ ]until_implies_until_stream.con.body.xml.gz2004-04-08 18:24 1.3K 
[ ]eventually_implies_eventually.con.body.xml.gz2004-04-08 18:24 1.3K 
[ ]eventually_implies_eventually.con.types.xml.gz2004-04-08 18:24 1.3K 
[ ]until_ind.con.types.xml.gz2004-04-08 18:24 1.4K 
[ ]safeP_safeQ.con.types.xml.gz2004-04-08 18:24 1.4K 
[ ]until_ind.con.body.xml.gz2004-04-08 18:24 1.5K 
[ ]until_implies_until.con.body.xml.gz2004-04-08 18:24 1.5K 
[ ]strong_fairstr_implies_fairstr.con.body.xml.gz2004-04-08 18:24 1.5K 
[ ]until_implies_until.con.types.xml.gz2004-04-08 18:24 1.6K 
[ ]strong_fairstr_implies_fairstr.con.types.xml.gz2004-04-08 18:24 1.6K 
[ ]until_or.con.body.xml.gz2004-04-08 18:24 1.6K 
[ ]until_or.con.types.xml.gz2004-04-08 18:24 1.8K 
[ ]eventually_until.con.body.xml.gz2004-04-08 18:24 1.8K 
[ ]eventually_until.con.types.xml.gz2004-04-08 18:24 2.0K 
[ ]until_implies_until_state.con.body.xml.gz2004-04-08 18:24 2.2K 
[ ]followed_until.con.body.xml.gz2004-04-08 18:24 3.1K 
[ ]once_eventually.con.body.xml.gz2004-04-08 18:24 3.5K 
[ ]until_implies_until_state.con.types.xml.gz2004-04-08 18:24 3.5K 
[ ]followed_until.con.types.xml.gz2004-04-08 18:24 3.9K 
[ ]always_always.con.types.xml.gz2004-04-08 18:24 4.0K 
[ ]always_always.con.body.xml.gz2004-04-08 18:24 4.2K 
[ ]once_eventually.con.types.xml.gz2004-04-08 18:24 4.2K 
[ ]INDEX2005-07-05 08:13 4.3K 
[ ]always_P.con.body.xml.gz2004-04-08 18:24 4.8K 
[ ]always_unless.con.body.xml.gz2004-04-08 18:24 5.4K 
[ ]always_P.con.types.xml.gz2004-04-08 18:24 6.2K 
[ ]always_imp_always.con.types.xml.gz2004-04-08 18:24 6.9K 
[ ]always_imp_always.con.body.xml.gz2004-04-08 18:24 6.9K 
[ ]always_unless.con.types.xml.gz2004-04-08 18:24 6.9K 
[ ]always_and.con.body.xml.gz2004-04-08 18:24 7.5K 
[ ]always_and_bis.con.body.xml.gz2004-04-08 18:24 7.5K 
[ ]and_always_state.con.body.xml.gz2004-04-08 18:24 7.9K 
[ ]always_and_bis.con.types.xml.gz2004-04-08 18:24 8.1K 
[ ]always_and.con.types.xml.gz2004-04-08 18:24 8.1K 
[ ]always_and_and.con.body.xml.gz2004-04-08 18:24 8.5K 
[ ]and_always_state.con.types.xml.gz2004-04-08 18:24 9.0K 
[ ]induct.con.body.xml.gz2004-04-08 18:24 9.4K 
[ ]ltv_equiv_ltv.con.body.xml.gz2004-04-08 18:24 9.8K 
[ ]always_and_and.con.types.xml.gz2004-04-08 18:24 10K 
[ ]until_trans.con.body.xml.gz2004-04-08 18:24 10K 
[ ]implies_inf_often.con.body.xml.gz2004-04-08 18:24 11K 
[ ]implies_inf_often.con.types.xml.gz2004-04-08 18:24 12K 
[ ]always_always_implies_always.con.body.xml.gz2004-04-08 18:24 12K 
[ ]always_on_run.con.body.xml.gz2004-04-08 18:24 12K 
[ ]always_implies_always_state.con.body.xml.gz2004-04-08 18:24 13K 
[ ]always_always_implies_always.con.types.xml.gz2004-04-08 18:24 13K 
[ ]always_one_step_leads_to.con.body.xml.gz2004-04-08 18:24 13K 
[ ]induct.con.types.xml.gz2004-04-08 18:24 13K 
[ ]always_implies_always_state.con.types.xml.gz2004-04-08 18:24 14K 
[ ]ltv_equiv_ltv.con.types.xml.gz2004-04-08 18:24 14K 
[ ]until_trans.con.types.xml.gz2004-04-08 18:24 14K 
[ ]one_step_leads_to.con.body.xml.gz2004-04-08 18:24 14K 
[ ]always_on_run.con.types.xml.gz2004-04-08 18:24 15K 
[ ]always_implies_always_stream.con.body.xml.gz2004-04-08 18:24 17K 
[ ]always_implies_always.con.body.xml.gz2004-04-08 18:24 18K 
[ ]leadsto_tx_l_or.con.body.xml.gz2004-04-08 18:24 19K 
[ ]always_implies_always_stream.con.types.xml.gz2004-04-08 18:24 22K 
[ ]always_one_step_leads_to.con.types.xml.gz2004-04-08 18:24 22K 
[ ]one_step_leads_to.con.types.xml.gz2004-04-08 18:24 22K 
[ ]always_implies_always.con.types.xml.gz2004-04-08 18:24 24K 
[ ]inv_implies_inf_often.con.body.xml.gz2004-04-08 18:24 30K 
[ ]inv_implies_inf_often.con.types.xml.gz2004-04-08 18:24 30K 
[ ]leadsto_tx_l_or.con.types.xml.gz2004-04-08 18:24 33K 
Apache/2.4.62 (Debian) Server at mowgli.cs.unibo.it Port 80