mcrl2-201409.1-i586-1_slonly.txz


Advertisement

Description

mcrl2 - micro Common Representation Language 2

Distribution: Slackware 14.2
Repository: Slackonly i486
Package name: mcrl2
Package version: 201409.1
Package release: 1_slonly
Package architecture: i586
Package type: txz
Installed size: 42.17 MB
Download size: 7.62 MB
Official Mirror: packages.slackonly.com
mCRL2 stands for micro Common Representation Language 2. It is a specification language that can be used to specify and analyse the behaviour of distributed systems and protocols and is the successor to mCRL. Using its accompanying toolset systems can be analysed and verified automatically. http://www.mcrl2.org/

Alternatives

    Download

    Source package: unknown

    Install Howto

    1. Download mcrl2-201409.1-i586-1_slonly.txz
    2. Install mcrl2 txz package:
      # upgradepkg --install-new mcrl2-201409.1-i586-1_slonly.txz

    Files

    • /install/slack-desc
    • /usr/
    • /usr/bin/besinfo
    • /usr/bin/bespp
    • /usr/bin/diagraphica
    • /usr/bin/lps2lts
    • /usr/bin/lps2pbes
    • /usr/bin/lps2torx
    • /usr/bin/lpsactionrename
    • /usr/bin/lpsbinary
    • /usr/bin/lpsconfcheck
    • /usr/bin/lpsconstelm
    • /usr/bin/lpsinfo
    • /usr/bin/lpsinvelm
    • /usr/bin/lpsparelm
    • /usr/bin/lpsparunfold
    • /usr/bin/lpspp
    • /usr/bin/lpsrewr
    • /usr/bin/lpssim
    • /usr/bin/lpssumelm
    • /usr/bin/lpssuminst
    • /usr/bin/lpsuntime
    • /usr/bin/lpsxsim
    • /usr/bin/lts2lps
    • /usr/bin/lts2pbes
    • /usr/bin/ltscompare
    • /usr/bin/ltsconvert
    • /usr/bin/ltsgraph
    • /usr/bin/ltsinfo
    • /usr/bin/ltsview
    • /usr/bin/mcrl2-gui
    • /usr/bin/mcrl22lps
    • /usr/bin/mcrl2compilerewriter
    • /usr/bin/mcrl2i
    • /usr/bin/mcrl2xi
    • /usr/bin/pbes2bes
    • /usr/bin/pbes2bool
    • /usr/bin/pbesconstelm
    • /usr/bin/pbesinfo
    • /usr/bin/pbesparelm
    • /usr/bin/pbespgsolve
    • /usr/bin/pbespp
    • /usr/bin/pbesrewr
    • /usr/bin/tracepp
    • /usr/bin/txt2lps
    • /usr/bin/txt2pbes
    • /usr/doc/
    • /usr/doc/mcrl2-201409.1/CHANGES
    • /usr/doc/mcrl2-201409.1/COPYING
    • /usr/doc/mcrl2-201409.1/INSTALL
    • /usr/doc/mcrl2-201409.1/LICENSE_1_0.txt
    • /usr/doc/mcrl2-201409.1/README
    • /usr/doc/mcrl2-201409.1/mcrl2.SlackBuild
    • /usr/include/
    • /usr/include/mcrl2/
    • /usr/include/mcrl2/atermpp/algorithm.h
    • /usr/include/mcrl2/atermpp/aterm.h
    • /usr/include/mcrl2/atermpp/aterm_appl.h
    • /usr/include/mcrl2/atermpp/aterm_balanced_tree.h
    • /usr/include/mcrl2/atermpp/aterm_init.h
    • /usr/include/mcrl2/atermpp/aterm_int.h
    • /usr/include/mcrl2/atermpp/aterm_io.h
    • /usr/include/mcrl2/atermpp/aterm_list.h
    • /usr/include/mcrl2/atermpp/aterm_string.h
    • /usr/include/mcrl2/atermpp/container_utility.h
    • /usr/include/mcrl2/atermpp/convert.h
    • /usr/include/mcrl2/atermpp/function_symbol.h
    • /usr/include/mcrl2/atermpp/function_symbol_generator.h
    • /usr/include/mcrl2/atermpp/indexed_set.h
    • /usr/include/mcrl2/atermpp/make_list.h
    • /usr/include/mcrl2/atermpp/set_operations.h
    • /usr/include/mcrl2/atermpp/shared_subset.h
    • /usr/include/mcrl2/atermpp/substitute.h
    • /usr/include/mcrl2/atermpp/type_traits.h
    • /usr/include/mcrl2/atermpp/detail/algorithm_impl.h
    • /usr/include/mcrl2/atermpp/detail/aterm.h
    • /usr/include/mcrl2/atermpp/detail/aterm_appl.h
    • /usr/include/mcrl2/atermpp/detail/aterm_appl_implementation.h
    • /usr/include/mcrl2/atermpp/detail/aterm_appl_iterator.h
    • /usr/include/mcrl2/atermpp/detail/aterm_implementation.h
    • /usr/include/mcrl2/atermpp/detail/aterm_int.h
    • /usr/include/mcrl2/atermpp/detail/aterm_int_implementation.h
    • /usr/include/mcrl2/atermpp/detail/aterm_io_implementation.h
    • /usr/include/mcrl2/atermpp/detail/aterm_list.h
    • /usr/include/mcrl2/atermpp/detail/aterm_list_implementation.h
    • /usr/include/mcrl2/atermpp/detail/aterm_list_iterator.h
    • /usr/include/mcrl2/atermpp/detail/aterm_list_utility.h
    • /usr/include/mcrl2/atermpp/detail/atypes.h
    • /usr/include/mcrl2/atermpp/detail/function_symbol.h
    • /usr/include/mcrl2/atermpp/detail/function_symbol_constants.h
    • /usr/include/mcrl2/atermpp/detail/indexed_set.h
    • /usr/include/mcrl2/atermpp/detail/type_traits_impl.h
    • /usr/include/mcrl2/atermpp/detail/utility.h
    • /usr/include/mcrl2/bes/bes2pbes.h
    • /usr/include/mcrl2/bes/bes_deprecated.h
    • /usr/include/mcrl2/bes/boolean_equation.h
    • /usr/include/mcrl2/bes/boolean_equation_system.h
    • /usr/include/mcrl2/bes/boolean_expression.h
    • /usr/include/mcrl2/bes/boolean_expression_rewriter.h
    • /usr/include/mcrl2/bes/builder.h
    • /usr/include/mcrl2/bes/consistent_correlation.h
    • /usr/include/mcrl2/bes/find.h
    • /usr/include/mcrl2/bes/gauss_elimination.h
    • /usr/include/mcrl2/bes/index_traits.h
    • /usr/include/mcrl2/bes/io.h
    • /usr/include/mcrl2/bes/normal_forms.h
    • /usr/include/mcrl2/bes/parse.h
    • /usr/include/mcrl2/bes/pbesinst_conversion.h
    • /usr/include/mcrl2/bes/pg_parse.h
    • /usr/include/mcrl2/bes/print.h
    • /usr/include/mcrl2/bes/replace.h
    • /usr/include/mcrl2/bes/small_progress_measures.h
    • /usr/include/mcrl2/bes/traverser.h
    • /usr/include/mcrl2/bes/detail/bes_algorithm.h
    • /usr/include/mcrl2/bes/detail/bes_property_map.h
    • /usr/include/mcrl2/bes/detail/boolean_expression2pbes_expression_traverser.h
    • /usr/include/mcrl2/bes/detail/boolean_simplify_builder.h
    • /usr/include/mcrl2/bes/detail/io.h
    • /usr/include/mcrl2/bes/detail/pbes_expression2boolean_expression_traverser.h
    • /usr/include/mcrl2/bes/detail/standard_form_traverser.h
    • /usr/include/mcrl2/core/add_binding.h
    • /usr/include/mcrl2/core/builder.h
    • /usr/include/mcrl2/core/deprecation.h
    • /usr/include/mcrl2/core/dparser.h
    • /usr/include/mcrl2/core/identifier_string.h
    • /usr/include/mcrl2/core/index_traits.h
    • /usr/include/mcrl2/core/nil.h
    • /usr/include/mcrl2/core/parse.h
    • /usr/include/mcrl2/core/parser_utility.h
    • /usr/include/mcrl2/core/print.h
    • /usr/include/mcrl2/core/print_format.h
    • /usr/include/mcrl2/core/term_traits.h
    • /usr/include/mcrl2/core/traverser.h
    • /usr/include/mcrl2/core/detail/builder_msvc.inc.h
    • /usr/include/mcrl2/core/detail/construction_utility.h
    • /usr/include/mcrl2/core/detail/default_values.h
    • /usr/include/mcrl2/core/detail/dparser_functions.h
    • /usr/include/mcrl2/core/detail/function_symbols.h
    • /usr/include/mcrl2/core/detail/precedence.h
    • /usr/include/mcrl2/core/detail/print_utility.h
    • /usr/include/mcrl2/core/detail/soundness_checks.h
    • /usr/include/mcrl2/core/detail/traverser_msvc.inc.h
    • /usr/include/mcrl2/data/abstraction.h
    • /usr/include/mcrl2/data/add_binding.h
    • /usr/include/mcrl2/data/alias.h
    • /usr/include/mcrl2/data/application.h
    • /usr/include/mcrl2/data/assignment.h
    • /usr/include/mcrl2/data/bag.h
    • /usr/include/mcrl2/data/bag_comprehension.h
    • /usr/include/mcrl2/data/basic_sort.h
    • /usr/include/mcrl2/data/binder_type.h
    • /usr/include/mcrl2/data/bool.h
    • /usr/include/mcrl2/data/builder.h
    • /usr/include/mcrl2/data/container_sort.h
    • /usr/include/mcrl2/data/container_type.h
    • /usr/include/mcrl2/data/data.h
    • /usr/include/mcrl2/data/data_equation.h
    • /usr/include/mcrl2/data/data_expression.h
    • /usr/include/mcrl2/data/data_specification.h
    • /usr/include/mcrl2/data/enumerator.h
    • /usr/include/mcrl2/data/exists.h
    • /usr/include/mcrl2/data/expression_traits.h
    • /usr/include/mcrl2/data/fbag.h
    • /usr/include/mcrl2/data/find.h
    • /usr/include/mcrl2/data/find_equalities.h
    • /usr/include/mcrl2/data/forall.h
    • /usr/include/mcrl2/data/fset.h
    • /usr/include/mcrl2/data/function_sort.h
    • /usr/include/mcrl2/data/function_symbol.h
    • /usr/include/mcrl2/data/function_update.h
    • /usr/include/mcrl2/data/hash.h
    • /usr/include/mcrl2/data/identifier_generator.h
    • /usr/include/mcrl2/data/index_traits.h
    • /usr/include/mcrl2/data/int.h
    • /usr/include/mcrl2/data/is_simple_substitution.h
    • /usr/include/mcrl2/data/join.h
    • /usr/include/mcrl2/data/lambda.h
    • /usr/include/mcrl2/data/list.h
    • /usr/include/mcrl2/data/nat.h
    • /usr/include/mcrl2/data/normalize_sorts.h
    • /usr/include/mcrl2/data/parse.h
    • /usr/include/mcrl2/data/pos.h
    • /usr/include/mcrl2/data/precedence.h
    • /usr/include/mcrl2/data/print.h
    • /usr/include/mcrl2/data/real.h
    • /usr/include/mcrl2/data/replace.h
    • /usr/include/mcrl2/data/representative_generator.h
    • /usr/include/mcrl2/data/rewrite.h
    • /usr/include/mcrl2/data/rewrite_strategy.h
    • /usr/include/mcrl2/data/rewriter.h
    • /usr/include/mcrl2/data/selection.h
    • /usr/include/mcrl2/data/set.h
    • /usr/include/mcrl2/data/set_comprehension.h
    • /usr/include/mcrl2/data/set_identifier_generator.h
    • /usr/include/mcrl2/data/sort_expression.h
    • /usr/include/mcrl2/data/standard.h
    • /usr/include/mcrl2/data/standard_container_utility.h
    • /usr/include/mcrl2/data/standard_numbers_utility.h
    • /usr/include/mcrl2/data/standard_utility.h
    • /usr/include/mcrl2/data/structured_sort.h
    • /usr/include/mcrl2/data/structured_sort_constructor.h
    • /usr/include/mcrl2/data/structured_sort_constructor_argument.h
    • /usr/include/mcrl2/data/translate_user_notation.h
    • /usr/include/mcrl2/data/traverser.h
    • /usr/include/mcrl2/data/typecheck.h
    • /usr/include/mcrl2/data/undefined.h
    • /usr/include/mcrl2/data/untyped_identifier.h
    • /usr/include/mcrl2/data/untyped_possible_sorts.h
    • /usr/include/mcrl2/data/untyped_set_or_bag_comprehension.h
    • /usr/include/mcrl2/data/untyped_sort.h
    • /usr/include/mcrl2/data/utility.h
    • /usr/include/mcrl2/data/variable.h
    • /usr/include/mcrl2/data/where_clause.h
    • /usr/include/mcrl2/data/xyz_identifier_generator.h
    • /usr/include/mcrl2/data/detail/assignment_functional.h
    • /usr/include/mcrl2/data/detail/bdd_prover.h
    • /usr/include/mcrl2/data/detail/concepts.h
    • /usr/include/mcrl2/data/detail/data_construction.h
    • /usr/include/mcrl2/data/detail/data_expression_with_variables.h
    • /usr/include/mcrl2/data/detail/data_expression_with_variables_traits.h
    • /usr/include/mcrl2/data/detail/data_functional.h
    • /usr/include/mcrl2/data/detail/data_property_map.h
    • /usr/include/mcrl2/data/detail/data_sequence_algorithm.h
    • /usr/include/mcrl2/data/detail/data_utility.h
    • /usr/include/mcrl2/data/detail/enumerator_variable_limit.h
    • /usr/include/mcrl2/data/detail/equal_sorts.h
    • /usr/include/mcrl2/data/detail/find.h
    • /usr/include/mcrl2/data/detail/io.h
    • /usr/include/mcrl2/data/detail/is_untyped.h
    • /usr/include/mcrl2/data/detail/normalize_sorts_fwd.h
    • /usr/include/mcrl2/data/detail/one_point_rule_preprocessor.h
    • /usr/include/mcrl2/data/detail/parse_substitution.h
    • /usr/include/mcrl2/data/detail/print_parse_check.h
    • /usr/include/mcrl2/data/detail/print_utility.h
    • /usr/include/mcrl2/data/detail/prover.h
    • /usr/include/mcrl2/data/detail/rewrite.h
    • /usr/include/mcrl2/data/detail/rewrite_container.h
    • /usr/include/mcrl2/data/detail/rewrite_statistics.h
    • /usr/include/mcrl2/data/detail/rewriter_wrapper.h
    • /usr/include/mcrl2/data/detail/sequence_algorithm.h
    • /usr/include/mcrl2/data/detail/sorted_sequence_algorithm.h
    • /usr/include/mcrl2/data/detail/split_finite_variables.h
    • /usr/include/mcrl2/data/detail/test_rewriters.h
    • /usr/include/mcrl2/data/detail/prover/bdd2dot.h
    • /usr/include/mcrl2/data/detail/prover/bdd_info.h
    • /usr/include/mcrl2/data/detail/prover/bdd_manipulator.h
    • /usr/include/mcrl2/data/detail/prover/bdd_path_eliminator.h
    • /usr/include/mcrl2/data/detail/prover/bdd_simplifier.h
    • /usr/include/mcrl2/data/detail/prover/formula_checker.h
    • /usr/include/mcrl2/data/detail/prover/induction.h
    • /usr/include/mcrl2/data/detail/prover/info.h
    • /usr/include/mcrl2/data/detail/prover/manipulator.h
    • /usr/include/mcrl2/data/detail/prover/smt_lib_solver.h
    • /usr/include/mcrl2/data/detail/prover/smt_solver.h
    • /usr/include/mcrl2/data/detail/prover/solver_type.h
    • /usr/include/mcrl2/data/detail/prover/utilities.h
    • /usr/include/mcrl2/data/detail/rewrite/jitty.h
    • /usr/include/mcrl2/data/detail/rewrite/jitty_jittyc.h
    • /usr/include/mcrl2/data/detail/rewrite/jittyc.h
    • /usr/include/mcrl2/data/detail/rewrite/jittycpreamble.h
    • /usr/include/mcrl2/data/detail/rewrite/match_tree.h
    • /usr/include/mcrl2/data/detail/rewrite/nfs_array.h
    • /usr/include/mcrl2/data/detail/rewrite/with_prover.h
    • /usr/include/mcrl2/data/rewriters/data_rewriter.h
    • /usr/include/mcrl2/data/rewriters/simplify_rewriter.h
    • /usr/include/mcrl2/data/substitutions/assignment_sequence_substitution.h
    • /usr/include/mcrl2/data/substitutions/data_expression_assignment.h
    • /usr/include/mcrl2/data/substitutions/enumerator_substitution.h
    • /usr/include/mcrl2/data/substitutions/map_substitution.h
    • /usr/include/mcrl2/data/substitutions/mutable_indexed_substitution.h
    • /usr/include/mcrl2/data/substitutions/mutable_map_substitution.h
    • /usr/include/mcrl2/data/substitutions/mutable_substitution_composer.h
    • /usr/include/mcrl2/data/substitutions/no_substitution.h
    • /usr/include/mcrl2/data/substitutions/pair_sequence_substitution.h
    • /usr/include/mcrl2/data/substitutions/sequence_sequence_substitution.h
    • /usr/include/mcrl2/data/substitutions/sort_expression_assignment.h
    • /usr/include/mcrl2/data/substitutions/variable_assignment.h
    • /usr/include/mcrl2/lps/action_rename.h
    • /usr/include/mcrl2/lps/action_summand.h
    • /usr/include/mcrl2/lps/add_binding.h
    • /usr/include/mcrl2/lps/binary.h
    • /usr/include/mcrl2/lps/builder.h
    • /usr/include/mcrl2/lps/confluence_checker.h
    • /usr/include/mcrl2/lps/constelm.h
    • /usr/include/mcrl2/lps/deadlock.h
    • /usr/include/mcrl2/lps/deadlock_summand.h
    • /usr/include/mcrl2/lps/decluster.h
    • /usr/include/mcrl2/lps/disjointness_checker.h
    • /usr/include/mcrl2/lps/find.h
    • /usr/include/mcrl2/lps/invariant_checker.h
    • /usr/include/mcrl2/lps/invelm_algorithm.h
    • /usr/include/mcrl2/lps/io.h
    • /usr/include/mcrl2/lps/linear_process.h
    • /usr/include/mcrl2/lps/linearisation_method.h
    • /usr/include/mcrl2/lps/linearise.h
    • /usr/include/mcrl2/lps/lpsparunfoldlib.h
    • /usr/include/mcrl2/lps/ltsmin.h
    • /usr/include/mcrl2/lps/multi_action.h
    • /usr/include/mcrl2/lps/multi_action_parse.h
    • /usr/include/mcrl2/lps/next_state_generator.h
    • /usr/include/mcrl2/lps/normalize_sorts.h
    • /usr/include/mcrl2/lps/parelm.h
    • /usr/include/mcrl2/lps/parse.h
    • /usr/include/mcrl2/lps/print.h
    • /usr/include/mcrl2/lps/process_initializer.h
    • /usr/include/mcrl2/lps/remove.h
    • /usr/include/mcrl2/lps/replace.h
    • /usr/include/mcrl2/lps/resolve_name_clashes.h
    • /usr/include/mcrl2/lps/rewrite.h
    • /usr/include/mcrl2/lps/simulation.h
    • /usr/include/mcrl2/lps/specification.h
    • /usr/include/mcrl2/lps/state.h
    • /usr/include/mcrl2/lps/sumelm.h
    • /usr/include/mcrl2/lps/suminst.h
    • /usr/include/mcrl2/lps/summand.h
    • /usr/include/mcrl2/lps/tools.h
    • /usr/include/mcrl2/lps/translate_user_notation.h
    • /usr/include/mcrl2/lps/traverser.h
    • /usr/include/mcrl2/lps/typecheck.h
    • /usr/include/mcrl2/lps/untime.h
    • /usr/include/mcrl2/lps/untyped_multi_action.h
    • /usr/include/mcrl2/lps/detail/action_utility.h
    • /usr/include/mcrl2/lps/detail/instantiate_global_variables.h
    • /usr/include/mcrl2/lps/detail/linear_process_conversion_traverser.h
    • /usr/include/mcrl2/lps/detail/lps_algorithm.h
    • /usr/include/mcrl2/lps/detail/lps_parameter_remover.h
    • /usr/include/mcrl2/lps/detail/lps_well_typed_checker.h
    • /usr/include/mcrl2/lps/detail/make_timed_lps.h
    • /usr/include/mcrl2/lps/detail/specification_property_map.h
    • /usr/include/mcrl2/lps/detail/test_input.h
    • /usr/include/mcrl2/lps/rewriters/data_rewriter.h
    • /usr/include/mcrl2/lts/action_label_string.h
    • /usr/include/mcrl2/lts/lts.h
    • /usr/include/mcrl2/lts/lts_algorithm.h
    • /usr/include/mcrl2/lts/lts_aut.h
    • /usr/include/mcrl2/lts/lts_bcg.h
    • /usr/include/mcrl2/lts/lts_dot.h
    • /usr/include/mcrl2/lts/lts_equivalence.h
    • /usr/include/mcrl2/lts/lts_fsm.h
    • /usr/include/mcrl2/lts/lts_io.h
    • /usr/include/mcrl2/lts/lts_lts.h
    • /usr/include/mcrl2/lts/lts_preorder.h
    • /usr/include/mcrl2/lts/lts_utilities.h
    • /usr/include/mcrl2/lts/parse.h
    • /usr/include/mcrl2/lts/sigref.h
    • /usr/include/mcrl2/lts/state_label_empty.h
    • /usr/include/mcrl2/lts/transition.h
    • /usr/include/mcrl2/lts/detail/bithashtable.h
    • /usr/include/mcrl2/lts/detail/exploration.h
    • /usr/include/mcrl2/lts/detail/exploration_strategy.h
    • /usr/include/mcrl2/lts/detail/liblts_add_an_action_loop.h
    • /usr/include/mcrl2/lts/detail/liblts_bisim.h
    • /usr/include/mcrl2/lts/detail/liblts_dotparser.h
    • /usr/include/mcrl2/lts/detail/liblts_fsmparser.h
    • /usr/include/mcrl2/lts/detail/liblts_merge.h
    • /usr/include/mcrl2/lts/detail/liblts_scc.h
    • /usr/include/mcrl2/lts/detail/liblts_sim.h
    • /usr/include/mcrl2/lts/detail/liblts_tau_star_reduce.h
    • /usr/include/mcrl2/lts/detail/liblts_weak_bisim.h
    • /usr/include/mcrl2/lts/detail/lts_convert.h
    • /usr/include/mcrl2/lts/detail/lts_generation_options.h
    • /usr/include/mcrl2/lts/detail/queue.h
    • /usr/include/mcrl2/lts/detail/sim_hashtable.h
    • /usr/include/mcrl2/lts/detail/transition.h
    • /usr/include/mcrl2/lts/detail/tree_set.h
    • /usr/include/mcrl2/modal_formula/action_formula.h
    • /usr/include/mcrl2/modal_formula/add_binding.h
    • /usr/include/mcrl2/modal_formula/algorithms.h
    • /usr/include/mcrl2/modal_formula/builder.h
    • /usr/include/mcrl2/modal_formula/count_fixpoints.h
    • /usr/include/mcrl2/modal_formula/find.h
    • /usr/include/mcrl2/modal_formula/has_name_clashes.h
    • /usr/include/mcrl2/modal_formula/maximal_closed_subformula.h
    • /usr/include/mcrl2/modal_formula/monotonicity.h
    • /usr/include/mcrl2/modal_formula/negate_variables.h
    • /usr/include/mcrl2/modal_formula/normalize.h
    • /usr/include/mcrl2/modal_formula/normalize_sorts.h
    • /usr/include/mcrl2/modal_formula/parse.h
    • /usr/include/mcrl2/modal_formula/preprocess_state_formula.h
    • /usr/include/mcrl2/modal_formula/print.h
    • /usr/include/mcrl2/modal_formula/regular_formula.h
    • /usr/include/mcrl2/modal_formula/replace.h
    • /usr/include/mcrl2/modal_formula/resolve_name_clashes.h
    • /usr/include/mcrl2/modal_formula/rewrite.h
    • /usr/include/mcrl2/modal_formula/state_formula.h
    • /usr/include/mcrl2/modal_formula/state_formula_rename.h
    • /usr/include/mcrl2/modal_formula/translate_regular_formulas.h
    • /usr/include/mcrl2/modal_formula/translate_user_notation.h
    • /usr/include/mcrl2/modal_formula/traverser.h
    • /usr/include/mcrl2/modal_formula/typecheck.h
    • /usr/include/mcrl2/modal_formula/detail/read_text.h
    • /usr/include/mcrl2/modal_formula/detail/state_formula_accessors.h
    • /usr/include/mcrl2/modal_formula/detail/test_input.h
    • /usr/include/mcrl2/pbes/absinthe.h
    • /usr/include/mcrl2/pbes/absinthe_strategy.h
    • /usr/include/mcrl2/pbes/abstract.h
    • /usr/include/mcrl2/pbes/add_binding.h
    • /usr/include/mcrl2/pbes/algorithms.h
    • /usr/include/mcrl2/pbes/bisimulation.h
    • /usr/include/mcrl2/pbes/bisimulation_type.h
    • /usr/include/mcrl2/pbes/builder.h
    • /usr/include/mcrl2/pbes/complement.h
    • /usr/include/mcrl2/pbes/complps2pbes.h
    • /usr/include/mcrl2/pbes/constelm.h
    • /usr/include/mcrl2/pbes/enumerator.h
    • /usr/include/mcrl2/pbes/eqelm.h
    • /usr/include/mcrl2/pbes/equation_index.h
    • /usr/include/mcrl2/pbes/find.h
    • /usr/include/mcrl2/pbes/find_equalities.h
    • /usr/include/mcrl2/pbes/fixpoint_symbol.h
    • /usr/include/mcrl2/pbes/gauss_elimination.h
    • /usr/include/mcrl2/pbes/index_traits.h
    • /usr/include/mcrl2/pbes/io.h
    • /usr/include/mcrl2/pbes/is_bes.h
    • /usr/include/mcrl2/pbes/lps2pbes.h
    • /usr/include/mcrl2/pbes/lts2pbes.h
    • /usr/include/mcrl2/pbes/monotonicity.h
    • /usr/include/mcrl2/pbes/normalize.h
    • /usr/include/mcrl2/pbes/normalize_sorts.h
    • /usr/include/mcrl2/pbes/parelm.h
    • /usr/include/mcrl2/pbes/parity_game_generator.h
    • /usr/include/mcrl2/pbes/parse.h
    • /usr/include/mcrl2/pbes/pbes.h
    • /usr/include/mcrl2/pbes/pbes_equation.h
    • /usr/include/mcrl2/pbes/pbes_explorer.h
    • /usr/include/mcrl2/pbes/pbes_expression.h
    • /usr/include/mcrl2/pbes/pbes_functions.h
    • /usr/include/mcrl2/pbes/pbes_gauss_elimination.h
    • /usr/include/mcrl2/pbes/pbes_rewriter_type.h
    • /usr/include/mcrl2/pbes/pbes_solver_test.h
    • /usr/include/mcrl2/pbes/pbesinst_algorithm.h
    • /usr/include/mcrl2/pbes/pbesinst_finite_algorithm.h
    • /usr/include/mcrl2/pbes/pbesinst_strategy.h
    • /usr/include/mcrl2/pbes/pbesinst_symbolic.h
    • /usr/include/mcrl2/pbes/pbespgsolve.h
    • /usr/include/mcrl2/pbes/print.h
    • /usr/include/mcrl2/pbes/propositional_variable.h
    • /usr/include/mcrl2/pbes/remove_equations.h
    • /usr/include/mcrl2/pbes/remove_parameters.h
    • /usr/include/mcrl2/pbes/replace.h
    • /usr/include/mcrl2/pbes/rewrite.h
    • /usr/include/mcrl2/pbes/rewriter.h
    • /usr/include/mcrl2/pbes/significant_variables.h
    • /usr/include/mcrl2/pbes/substitutions.h
    • /usr/include/mcrl2/pbes/tools.h
    • /usr/include/mcrl2/pbes/transform.h
    • /usr/include/mcrl2/pbes/translate_user_notation.h
    • /usr/include/mcrl2/pbes/traverser.h
    • /usr/include/mcrl2/pbes/txt2pbes.h
    • /usr/include/mcrl2/pbes/typecheck.h
    • /usr/include/mcrl2/pbes/detail/bes_equation_limit.h
    • /usr/include/mcrl2/pbes/detail/bqnf2ppg_rewriter.h
    • /usr/include/mcrl2/pbes/detail/bqnf_quantifier_rewriter.h
    • /usr/include/mcrl2/pbes/detail/bqnf_traverser.h
    • /usr/include/mcrl2/pbes/detail/bqnf_visitor.h
    • /usr/include/mcrl2/pbes/detail/data2pbes_rewriter.h
    • /usr/include/mcrl2/pbes/detail/find_free_variables.h
    • /usr/include/mcrl2/pbes/detail/guard_traverser.h
    • /usr/include/mcrl2/pbes/detail/has_propositional_variables.h
    • /usr/include/mcrl2/pbes/detail/instantiate_global_variables.h
    • /usr/include/mcrl2/pbes/detail/io.h
    • /usr/include/mcrl2/pbes/detail/is_pfnf.h
    • /usr/include/mcrl2/pbes/detail/is_well_typed.h
    • /usr/include/mcrl2/pbes/detail/lps2pbes_e.h
    • /usr/include/mcrl2/pbes/detail/lps2pbes_indenter.h
    • /usr/include/mcrl2/pbes/detail/lps2pbes_par.h
    • /usr/include/mcrl2/pbes/detail/lps2pbes_rhs.h
    • /usr/include/mcrl2/pbes/detail/lps2pbes_sat.h
    • /usr/include/mcrl2/pbes/detail/lps2pbes_utility.h
    • /usr/include/mcrl2/pbes/detail/lts2pbes_e.h
    • /usr/include/mcrl2/pbes/detail/lts2pbes_lts.h
    • /usr/include/mcrl2/pbes/detail/lts2pbes_rhs.h
    • /usr/include/mcrl2/pbes/detail/normalize_and_or.h
    • /usr/include/mcrl2/pbes/detail/occurring_variable_visitor.h
    • /usr/include/mcrl2/pbes/detail/parity_game_output.h
    • /usr/include/mcrl2/pbes/detail/pbes_expression_builder_indenter.h
    • /usr/include/mcrl2/pbes/detail/pbes_functional.h
    • /usr/include/mcrl2/pbes/detail/pbes_greybox_interface.h
    • /usr/include/mcrl2/pbes/detail/pbes_parameter_map.h
    • /usr/include/mcrl2/pbes/detail/pbes_property_map.h
    • /usr/include/mcrl2/pbes/detail/pfnf_pbes.h
    • /usr/include/mcrl2/pbes/detail/pfnf_print.h
    • /usr/include/mcrl2/pbes/detail/pfnf_traverser.h
    • /usr/include/mcrl2/pbes/detail/ppg_rewriter.h
    • /usr/include/mcrl2/pbes/detail/ppg_traverser.h
    • /usr/include/mcrl2/pbes/detail/ppg_visitor.h
    • /usr/include/mcrl2/pbes/detail/stategraph_algorithm.h
    • /usr/include/mcrl2/pbes/detail/stategraph_global_algorithm.h
    • /usr/include/mcrl2/pbes/detail/stategraph_global_graph.h
    • /usr/include/mcrl2/pbes/detail/stategraph_global_reset_variables.h
    • /usr/include/mcrl2/pbes/detail/stategraph_graph.h
    • /usr/include/mcrl2/pbes/detail/stategraph_influence.h
    • /usr/include/mcrl2/pbes/detail/stategraph_local_algorithm.h
    • /usr/include/mcrl2/pbes/detail/stategraph_local_reset_variables.h
    • /usr/include/mcrl2/pbes/detail/stategraph_pbes.h
    • /usr/include/mcrl2/pbes/detail/stategraph_reset_variables.h
    • /usr/include/mcrl2/pbes/detail/stategraph_simplify_rewriter.h
    • /usr/include/mcrl2/pbes/detail/stategraph_utility.h
    • /usr/include/mcrl2/pbes/detail/symbolic_exploration.h
    • /usr/include/mcrl2/pbes/detail/term_traits_optimized.h
    • /usr/include/mcrl2/pbes/detail/test_utility.h
    • /usr/include/mcrl2/pbes/rewriters/bqnf_rewriter.h
    • /usr/include/mcrl2/pbes/rewriters/data_rewriter.h
    • /usr/include/mcrl2/pbes/rewriters/enumerate_quantifiers_rewriter.h
    • /usr/include/mcrl2/pbes/rewriters/one_point_rule_rewriter.h
    • /usr/include/mcrl2/pbes/rewriters/pfnf_rewriter.h
    • /usr/include/mcrl2/pbes/rewriters/simplify_quantifiers_rewriter.h
    • /usr/include/mcrl2/pbes/rewriters/simplify_rewriter.h
    • /usr/include/mcrl2/pbes/tools/complps2pbes.h
    • /usr/include/mcrl2/pbes/tools/lps2pbes.h
    • /usr/include/mcrl2/pbes/tools/lpsbisim2pbes.h
    • /usr/include/mcrl2/pbes/tools/pbesabsinthe.h
    • /usr/include/mcrl2/pbes/tools/pbesabstract.h
    • /usr/include/mcrl2/pbes/tools/pbesconstelm.h
    • /usr/include/mcrl2/pbes/tools/pbesinfo.h
    • /usr/include/mcrl2/pbes/tools/pbesparelm.h
    • /usr/include/mcrl2/pbes/tools/pbespareqelm.h
    • /usr/include/mcrl2/pbes/tools/pbespp.h
    • /usr/include/mcrl2/pbes/tools/pbesrewr.h
    • /usr/include/mcrl2/pbes/tools/pbesstategraph.h
    • /usr/include/mcrl2/pbes/tools/pbesstategraph_options.h
    • /usr/include/mcrl2/pbes/tools/txt2pbes.h
    • /usr/include/mcrl2/process/action_label.h
    • /usr/include/mcrl2/process/action_name_multiset.h
    • /usr/include/mcrl2/process/action_parse.h
    • /usr/include/mcrl2/process/add_binding.h
    • /usr/include/mcrl2/process/alphabet.h
    • /usr/include/mcrl2/process/builder.h
    • /usr/include/mcrl2/process/communication_expression.h
    • /usr/include/mcrl2/process/find.h
    • /usr/include/mcrl2/process/index_traits.h
    • /usr/include/mcrl2/process/is_communicating_lpe.h
    • /usr/include/mcrl2/process/is_guarded.h
    • /usr/include/mcrl2/process/is_linear.h
    • /usr/include/mcrl2/process/normalize_sorts.h
    • /usr/include/mcrl2/process/parse.h
    • /usr/include/mcrl2/process/print.h
    • /usr/include/mcrl2/process/process_equation.h
    • /usr/include/mcrl2/process/process_expression.h
    • /usr/include/mcrl2/process/process_identifier.h
    • /usr/include/mcrl2/process/process_specification.h
    • /usr/include/mcrl2/process/remove_equations.h
    • /usr/include/mcrl2/process/rename_expression.h
    • /usr/include/mcrl2/process/replace.h
    • /usr/include/mcrl2/process/rewrite.h
    • /usr/include/mcrl2/process/translate_user_notation.h
    • /usr/include/mcrl2/process/traverser.h
    • /usr/include/mcrl2/process/typecheck.h
    • /usr/include/mcrl2/process/untyped_action.h
    • /usr/include/mcrl2/process/utility.h
    • /usr/include/mcrl2/process/detail/allow_set.h
    • /usr/include/mcrl2/process/detail/alphabet_intersection.h
    • /usr/include/mcrl2/process/detail/alphabet_push_allow.h
    • /usr/include/mcrl2/process/detail/alphabet_push_block.h
    • /usr/include/mcrl2/process/detail/alphabet_traverser.h
    • /usr/include/mcrl2/process/detail/expand_process_instance_assignments.h
    • /usr/include/mcrl2/process/detail/is_linear.h
    • /usr/include/mcrl2/process/detail/linear_process_expression_traverser.h
    • /usr/include/mcrl2/trace/trace.h
    • /usr/include/mcrl2/utilities/atermthread.h
    • /usr/include/mcrl2/utilities/basename.h
    • /usr/include/mcrl2/utilities/command_line_interface.h
    • /usr/include/mcrl2/utilities/dynamiclibrary.h
    • /usr/include/mcrl2/utilities/exception.h
    • /usr/include/mcrl2/utilities/execution_timer.h
    • /usr/include/mcrl2/utilities/extendedtabwidget.h
    • /usr/include/mcrl2/utilities/file_utility.h
    • /usr/include/mcrl2/utilities/input_input_output_tool.h
    • /usr/include/mcrl2/utilities/input_input_tool.h
    • /usr/include/mcrl2/utilities/input_output_tool.h
    • /usr/include/mcrl2/utilities/input_tool.h
    • /usr/include/mcrl2/utilities/logger.h
    • /usr/include/mcrl2/utilities/logwidget.h
    • /usr/include/mcrl2/utilities/math.h
    • /usr/include/mcrl2/utilities/moc_atermthread.cxx
    • /usr/include/mcrl2/utilities/moc_atermthread.cxx_parameters
    • /usr/include/mcrl2/utilities/moc_extendedtabwidget.cxx
    • /usr/include/mcrl2/utilities/moc_extendedtabwidget.cxx_parameters
    • /usr/include/mcrl2/utilities/moc_logwidget.cxx
    • /usr/include/mcrl2/utilities/moc_logwidget.cxx_parameters
    • /usr/include/mcrl2/utilities/moc_numberedtextedit.cxx
    • /usr/include/mcrl2/utilities/moc_numberedtextedit.cxx_parameters
    • /usr/include/mcrl2/utilities/moc_persistentfiledialog.cxx
    • /usr/include/mcrl2/utilities/moc_persistentfiledialog.cxx_parameters
    • /usr/include/mcrl2/utilities/moc_qt_tool.cxx
    • /usr/include/mcrl2/utilities/moc_qt_tool.cxx_parameters
    • /usr/include/mcrl2/utilities/moc_setting.cxx
    • /usr/include/mcrl2/utilities/moc_setting.cxx_parameters
    • /usr/include/mcrl2/utilities/number_postfix_generator.h
    • /usr/include/mcrl2/utilities/numberedtextedit.h
    • /usr/include/mcrl2/utilities/optimized_boolean_operators.h
    • /usr/include/mcrl2/utilities/pbes_input_output_tool.h
    • /usr/include/mcrl2/utilities/pbes_input_tool.h
    • /usr/include/mcrl2/utilities/pbes_output_tool.h
    • /usr/include/mcrl2/utilities/pbes_rewriter_tool.h
    • /usr/include/mcrl2/utilities/persistentfiledialog.h
    • /usr/include/mcrl2/utilities/progress_meter.h
    • /usr/include/mcrl2/utilities/prover_tool.h
    • /usr/include/mcrl2/utilities/qt_tool.h
    • /usr/include/mcrl2/utilities/reachable_nodes.h
    • /usr/include/mcrl2/utilities/rewriter_tool.h
    • /usr/include/mcrl2/utilities/sequence.h
    • /usr/include/mcrl2/utilities/setting.h
    • /usr/include/mcrl2/utilities/test_utilities.h
    • /usr/include/mcrl2/utilities/text_utility.h
    • /usr/include/mcrl2/utilities/tool.h
    • /usr/include/mcrl2/utilities/toolset_version.h
    • /usr/include/mcrl2/utilities/toolset_version_const.h
    • /usr/include/mcrl2/utilities/uncompiledlibrary.h
    • /usr/include/mcrl2/utilities/workarounds.h
    • /usr/include/mcrl2/utilities/detail/container_utility.h
    • /usr/include/mcrl2/utilities/detail/iota.h
    • /usr/include/mcrl2/utilities/detail/join.h
    • /usr/include/mcrl2/utilities/detail/memory_utility.h
    • /usr/include/mcrl2/utilities/detail/optimized_logic_operators.h
    • /usr/include/mcrl2/utilities/detail/separate_keyword_section.h
    • /usr/include/mcrl2/utilities/detail/split.h
    • /usr/include/mcrl2/utilities/detail/test_operation.h
    • /usr/lib/
    • /usr/lib/mcrl2/libgl2ps.so
    • /usr/lib/mcrl2/libmcrl2_atermpp.so
    • /usr/lib/mcrl2/libmcrl2_bes.so
    • /usr/lib/mcrl2/libmcrl2_core.so
    • /usr/lib/mcrl2/libmcrl2_data.so
    • /usr/lib/mcrl2/libmcrl2_fsm_syntax.so
    • /usr/lib/mcrl2/libmcrl2_lps.so
    • /usr/lib/mcrl2/libmcrl2_lts.so
    • /usr/lib/mcrl2/libmcrl2_modal_formula.so
    • /usr/lib/mcrl2/libmcrl2_pbes.so
    • /usr/lib/mcrl2/libmcrl2_pbespgsolve.so
    • /usr/lib/mcrl2/libmcrl2_process.so
    • /usr/lib/mcrl2/libmcrl2_syntax.so
    • /usr/lib/mcrl2/libmcrl2_utilities.so
    • /usr/lib/mcrl2/libmcrl2_utilities_qt.so
    • /usr/lib/mcrl2/libsvc.so
    • /usr/lib/mcrl2/libtr.so
    • /usr/man/
    • /usr/man/man1/besinfo.1.gz
    • /usr/man/man1/bespp.1.gz
    • /usr/man/man1/diagraphica.1.gz
    • /usr/man/man1/lps2lts.1.gz
    • /usr/man/man1/lps2pbes.1.gz
    • /usr/man/man1/lps2torx.1.gz
    • /usr/man/man1/lpsactionrename.1.gz
    • /usr/man/man1/lpsbinary.1.gz
    • /usr/man/man1/lpsconfcheck.1.gz
    • /usr/man/man1/lpsconstelm.1.gz
    • /usr/man/man1/lpsinfo.1.gz
    • /usr/man/man1/lpsinvelm.1.gz
    • /usr/man/man1/lpsparelm.1.gz
    • /usr/man/man1/lpsparunfold.1.gz
    • /usr/man/man1/lpspp.1.gz
    • /usr/man/man1/lpsrewr.1.gz
    • /usr/man/man1/lpssim.1.gz
    • /usr/man/man1/lpssumelm.1.gz
    • /usr/man/man1/lpssuminst.1.gz
    • /usr/man/man1/lpsuntime.1.gz
    • /usr/man/man1/lpsxsim.1.gz
    • /usr/man/man1/lts2lps.1.gz
    • /usr/man/man1/lts2pbes.1.gz
    • /usr/man/man1/ltscompare.1.gz
    • /usr/man/man1/ltsconvert.1.gz
    • /usr/man/man1/ltsgraph.1.gz
    • /usr/man/man1/ltsinfo.1.gz
    • /usr/man/man1/ltsview.1.gz
    • /usr/man/man1/mcrl2-gui.1.gz
    • /usr/man/man1/mcrl22lps.1.gz
    • /usr/man/man1/mcrl2compilerewriter.1.gz
    • /usr/man/man1/mcrl2i.1.gz
    • /usr/man/man1/mcrl2xi.1.gz
    • /usr/man/man1/pbes2bes.1.gz
    • /usr/man/man1/pbes2bool.1.gz
    • /usr/man/man1/pbesconstelm.1.gz
    • /usr/man/man1/pbesinfo.1.gz
    • /usr/man/man1/pbesparelm.1.gz
    • /usr/man/man1/pbespgsolve.1.gz
    • /usr/man/man1/pbespp.1.gz
    • /usr/man/man1/pbesrewr.1.gz
    • /usr/man/man1/tracepp.1.gz
    • /usr/man/man1/txt2lps.1.gz
    • /usr/man/man1/txt2pbes.1.gz
    • /usr/share/
    • /usr/share/applications/mcrl2-gui.desktop
    • /usr/share/icons/
    • /usr/share/icons/hicolor/
    • /usr/share/icons/hicolor/128x128/
    • /usr/share/icons/hicolor/128x128/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/128x128/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/128x128/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/128x128/apps/mcrl2-red.png
    • /usr/share/icons/hicolor/16x16/
    • /usr/share/icons/hicolor/16x16/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/16x16/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/16x16/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/16x16/apps/mcrl2-red.png
    • /usr/share/icons/hicolor/192x192/
    • /usr/share/icons/hicolor/192x192/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/192x192/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/192x192/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/192x192/apps/mcrl2-red.png
    • /usr/share/icons/hicolor/20x20/
    • /usr/share/icons/hicolor/20x20/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/20x20/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/20x20/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/20x20/apps/mcrl2-red.png
    • /usr/share/icons/hicolor/22x22/
    • /usr/share/icons/hicolor/22x22/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/22x22/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/22x22/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/22x22/apps/mcrl2-red.png
    • /usr/share/icons/hicolor/24x24/
    • /usr/share/icons/hicolor/24x24/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/24x24/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/24x24/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/24x24/apps/mcrl2-red.png
    • /usr/share/icons/hicolor/256x256/
    • /usr/share/icons/hicolor/256x256/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/256x256/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/256x256/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/256x256/apps/mcrl2-red.png
    • /usr/share/icons/hicolor/32x32/
    • /usr/share/icons/hicolor/32x32/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/32x32/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/32x32/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/32x32/apps/mcrl2-red.png
    • /usr/share/icons/hicolor/36x36/
    • /usr/share/icons/hicolor/36x36/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/36x36/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/36x36/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/36x36/apps/mcrl2-red.png
    • /usr/share/icons/hicolor/48x48/
    • /usr/share/icons/hicolor/48x48/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/48x48/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/48x48/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/48x48/apps/mcrl2-red.png
    • /usr/share/icons/hicolor/512x512/
    • /usr/share/icons/hicolor/512x512/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/512x512/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/512x512/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/512x512/apps/mcrl2-red.png
    • /usr/share/icons/hicolor/64x64/
    • /usr/share/icons/hicolor/64x64/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/64x64/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/64x64/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/64x64/apps/mcrl2-red.png
    • /usr/share/icons/hicolor/72x72/
    • /usr/share/icons/hicolor/72x72/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/72x72/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/72x72/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/72x72/apps/mcrl2-red.png
    • /usr/share/icons/hicolor/96x96/
    • /usr/share/icons/hicolor/96x96/apps/mcrl2-blue.png
    • /usr/share/icons/hicolor/96x96/apps/mcrl2-green.png
    • /usr/share/icons/hicolor/96x96/apps/mcrl2-orange.png
    • /usr/share/icons/hicolor/96x96/apps/mcrl2-red.png
    • /usr/share/mcrl2/tool_catalog.xml
    • /usr/share/mcrl2/doc/
    • /usr/share/mcrl2/doc/examples/
    • /usr/share/mcrl2/doc/examples/academic/
    • /usr/share/mcrl2/doc/examples/academic/abp/abp.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/abp/infinitely_often_enabled_then_infinitely_often_taken.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp/infinitely_often_lost.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp/infinitely_often_receive_d1.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp/infinitely_often_receive_for_all_d.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp/no_duplication_of_messages.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp/no_generation_of_messages.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp/read_then_eventually_send.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp/read_then_eventually_send_if_fair.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp/run.py
    • /usr/share/mcrl2/doc/examples/academic/abp_bw/abp_bw.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/abp_bw/infinitely_often_enabled_then_infinitely_often_taken.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp_bw/infinitely_often_lost.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp_bw/infinitely_often_receive_d1.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp_bw/infinitely_often_receive_for_all_d.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp_bw/no_duplication_of_messages.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp_bw/no_generation_of_messages.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp_bw/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp_bw/read_then_eventually_send.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp_bw/read_then_eventually_send_if_fair.mcf
    • /usr/share/mcrl2/doc/examples/academic/abp_bw/run.py
    • /usr/share/mcrl2/doc/examples/academic/allow/allow.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/allow/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/allow/run.py
    • /usr/share/mcrl2/doc/examples/academic/bakery/abstraction.txt
    • /usr/share/mcrl2/doc/examples/academic/bakery/aggressive_abstraction.txt
    • /usr/share/mcrl2/doc/examples/academic/bakery/always_can_get_number.mcf
    • /usr/share/mcrl2/doc/examples/academic/bakery/bakery.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/bakery/get_at_least_number_circulating.mcf
    • /usr/share/mcrl2/doc/examples/academic/bakery/mutual_exclusion.mcf
    • /usr/share/mcrl2/doc/examples/academic/bakery/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/bakery/request_can_eventually_enter.mcf
    • /usr/share/mcrl2/doc/examples/academic/bakery/request_must_eventually_enter.mcf
    • /usr/share/mcrl2/doc/examples/academic/bakery/run.py
    • /usr/share/mcrl2/doc/examples/academic/bakery/always_can_get_number/always_can_get_number.mcf
    • /usr/share/mcrl2/doc/examples/academic/bakery/always_can_get_number/run
    • /usr/share/mcrl2/doc/examples/academic/bakery/always_can_get_number/run.aggressive
    • /usr/share/mcrl2/doc/examples/academic/bakery/get_at_least_number_circulating/get_at_least_number_circulating.mcf
    • /usr/share/mcrl2/doc/examples/academic/bakery/get_at_least_number_circulating/run
    • /usr/share/mcrl2/doc/examples/academic/bakery/get_at_least_number_circulating/run.aggressive
    • /usr/share/mcrl2/doc/examples/academic/bakery/mutual_exclusion/mutual_exclusion.mcf
    • /usr/share/mcrl2/doc/examples/academic/bakery/mutual_exclusion/run
    • /usr/share/mcrl2/doc/examples/academic/bakery/mutual_exclusion/run.aggressive
    • /usr/share/mcrl2/doc/examples/academic/bakery/nodeadlock/no_deadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/bakery/nodeadlock/run
    • /usr/share/mcrl2/doc/examples/academic/bakery/nodeadlock/run.aggressive
    • /usr/share/mcrl2/doc/examples/academic/bakery/request_can_eventually_enter/request_can_eventually_enter.mcf
    • /usr/share/mcrl2/doc/examples/academic/bakery/request_can_eventually_enter/run
    • /usr/share/mcrl2/doc/examples/academic/bakery/request_can_eventually_enter/run.aggressive
    • /usr/share/mcrl2/doc/examples/academic/bakery/request_must_eventually_enter/request_must_eventually_enter.mcf
    • /usr/share/mcrl2/doc/examples/academic/bakery/request_must_eventually_enter/run
    • /usr/share/mcrl2/doc/examples/academic/bakery/request_must_eventually_enter/run.aggressive
    • /usr/share/mcrl2/doc/examples/academic/bke/bke.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/bke/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/bke/run.py
    • /usr/share/mcrl2/doc/examples/academic/block/block.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/block/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/block/run.py
    • /usr/share/mcrl2/doc/examples/academic/cabp/cabp.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/cabp/infinitely_often_enabled_then_infinitely_often_taken.mcf
    • /usr/share/mcrl2/doc/examples/academic/cabp/infinitely_often_lost.mcf
    • /usr/share/mcrl2/doc/examples/academic/cabp/infinitely_often_receive_d1.mcf
    • /usr/share/mcrl2/doc/examples/academic/cabp/infinitely_often_receive_for_all_d.mcf
    • /usr/share/mcrl2/doc/examples/academic/cabp/no_duplication_of_messages.mcf
    • /usr/share/mcrl2/doc/examples/academic/cabp/no_generation_of_messages.mcf
    • /usr/share/mcrl2/doc/examples/academic/cabp/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/cabp/read_then_eventually_send.mcf
    • /usr/share/mcrl2/doc/examples/academic/cabp/read_then_eventually_send_if_fair.mcf
    • /usr/share/mcrl2/doc/examples/academic/cabp/run.py
    • /usr/share/mcrl2/doc/examples/academic/cellular_automata/cellular_automata.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/cellular_automata/run.py
    • /usr/share/mcrl2/doc/examples/academic/commprot/commprot.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/commprot/run.py
    • /usr/share/mcrl2/doc/examples/academic/dining/dining3.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/dining/dining3_cs.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/dining/dining3_cs_seq.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/dining/dining3_ns.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/dining/dining3_ns_seq.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/dining/dining3_schedule.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/dining/dining3_schedule_seq.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/dining/dining3_seq.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/dining/dining8.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/dining/dining_10.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/dining/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/dining/nostarvation.mcf
    • /usr/share/mcrl2/doc/examples/academic/dining/nostuffing.mcf
    • /usr/share/mcrl2/doc/examples/academic/dining/run.py
    • /usr/share/mcrl2/doc/examples/academic/food_distribution/food_package.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/food_distribution/run.py
    • /usr/share/mcrl2/doc/examples/academic/food_distribution/sustained_delivery.mcf
    • /usr/share/mcrl2/doc/examples/academic/goback/goback.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/goback/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/goback/run.py
    • /usr/share/mcrl2/doc/examples/academic/leader/leader.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/leader/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/leader/run.py
    • /usr/share/mcrl2/doc/examples/academic/mpsu/mpsu.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/mpsu/mpsu1.mcf
    • /usr/share/mcrl2/doc/examples/academic/mpsu/mpsu2.mcf
    • /usr/share/mcrl2/doc/examples/academic/mpsu/mpsu3.mcf
    • /usr/share/mcrl2/doc/examples/academic/mpsu/mpsu4.mcf
    • /usr/share/mcrl2/doc/examples/academic/mpsu/mpsu5.mcf
    • /usr/share/mcrl2/doc/examples/academic/mpsu/mpsu6.mcf
    • /usr/share/mcrl2/doc/examples/academic/mpsu/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/mpsu/run.py
    • /usr/share/mcrl2/doc/examples/academic/onebit/infinitely_often_enabled_then_infinitely_often_taken.mcf
    • /usr/share/mcrl2/doc/examples/academic/onebit/infinitely_often_lost.mcf
    • /usr/share/mcrl2/doc/examples/academic/onebit/infinitely_often_receive_dat1.mcf
    • /usr/share/mcrl2/doc/examples/academic/onebit/infinitely_often_receive_for_all_d.mcf
    • /usr/share/mcrl2/doc/examples/academic/onebit/no_duplication_of_messages.mcf
    • /usr/share/mcrl2/doc/examples/academic/onebit/no_generation_of_messages.mcf
    • /usr/share/mcrl2/doc/examples/academic/onebit/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/onebit/onebit.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/onebit/read_then_eventually_send.mcf
    • /usr/share/mcrl2/doc/examples/academic/onebit/read_then_eventually_send_if_fair.mcf
    • /usr/share/mcrl2/doc/examples/academic/onebit/run.py
    • /usr/share/mcrl2/doc/examples/academic/par/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/par/par.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/par/run.py
    • /usr/share/mcrl2/doc/examples/academic/parallel/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/parallel/parallel.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/parallel/run.py
    • /usr/share/mcrl2/doc/examples/academic/parallel_proc_with_global_var/parallel_counting.mcf
    • /usr/share/mcrl2/doc/examples/academic/parallel_proc_with_global_var/parallel_counting.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/parallel_proc_with_global_var/run.py
    • /usr/share/mcrl2/doc/examples/academic/producer_consumer/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/producer_consumer/producer_consumer.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/producer_consumer/run.py
    • /usr/share/mcrl2/doc/examples/academic/scheduler/infinitely_often_enabled_then_infinitely_often_taken_a.mcf
    • /usr/share/mcrl2/doc/examples/academic/scheduler/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/scheduler/run.py
    • /usr/share/mcrl2/doc/examples/academic/scheduler/scheduler.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/swp/infinitely_often_enabled_then_infinitely_often_taken.mcf
    • /usr/share/mcrl2/doc/examples/academic/swp/infinitely_often_lost.mcf
    • /usr/share/mcrl2/doc/examples/academic/swp/infinitely_often_receive_d1.mcf
    • /usr/share/mcrl2/doc/examples/academic/swp/infinitely_often_receive_for_all_d.mcf
    • /usr/share/mcrl2/doc/examples/academic/swp/no_duplication_of_messages.mcf
    • /usr/share/mcrl2/doc/examples/academic/swp/no_generation_of_messages.mcf
    • /usr/share/mcrl2/doc/examples/academic/swp/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/swp/read_then_eventually_send.mcf
    • /usr/share/mcrl2/doc/examples/academic/swp/read_then_eventually_send_if_fair.mcf
    • /usr/share/mcrl2/doc/examples/academic/swp/run.py
    • /usr/share/mcrl2/doc/examples/academic/swp/swp_fgpbp.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/swp/swp_func.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/swp/swp_lists.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/swp/swp_with_tanenbaums_bug.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/trains/infinitely_often_enabled_then_infinitely_often_taken_enter.mcf
    • /usr/share/mcrl2/doc/examples/academic/trains/mutual_exclusion.mcf
    • /usr/share/mcrl2/doc/examples/academic/trains/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/trains/run.py
    • /usr/share/mcrl2/doc/examples/academic/trains/trains.mcrl2
    • /usr/share/mcrl2/doc/examples/academic/tree/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/academic/tree/run.py
    • /usr/share/mcrl2/doc/examples/academic/tree/tree.mcrl2
    • /usr/share/mcrl2/doc/examples/games/
    • /usr/share/mcrl2/doc/examples/games/clobber/clobber.mcrl2
    • /usr/share/mcrl2/doc/examples/games/clobber/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/games/clobber/run.py
    • /usr/share/mcrl2/doc/examples/games/domineering/domineering.mcrl2
    • /usr/share/mcrl2/doc/examples/games/domineering/eventually_player1_or_player2_wins.mcf
    • /usr/share/mcrl2/doc/examples/games/domineering/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/games/domineering/player1_can_win.mcf
    • /usr/share/mcrl2/doc/examples/games/domineering/player2_can_win.mcf
    • /usr/share/mcrl2/doc/examples/games/domineering/run.py
    • /usr/share/mcrl2/doc/examples/games/four_in_a_row/four_in_a_row.mcrl2
    • /usr/share/mcrl2/doc/examples/games/four_in_a_row/red_wins.mcf
    • /usr/share/mcrl2/doc/examples/games/four_in_a_row/run.py
    • /usr/share/mcrl2/doc/examples/games/game_of_goose/game_of_goose.mcrl2
    • /usr/share/mcrl2/doc/examples/games/hex/hex.mcrl2
    • /usr/share/mcrl2/doc/examples/games/knights/knights.mcrl2
    • /usr/share/mcrl2/doc/examples/games/knights/run.py
    • /usr/share/mcrl2/doc/examples/games/magic_square/magic_square.mcrl2
    • /usr/share/mcrl2/doc/examples/games/magic_square/run.py
    • /usr/share/mcrl2/doc/examples/games/othello/exists_draw.mcf
    • /usr/share/mcrl2/doc/examples/games/othello/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/games/othello/othello.mcrl2
    • /usr/share/mcrl2/doc/examples/games/othello/red_can_win.mcf
    • /usr/share/mcrl2/doc/examples/games/othello/red_wins_always.mcf
    • /usr/share/mcrl2/doc/examples/games/othello/white_can_win.mcf
    • /usr/share/mcrl2/doc/examples/games/othello/white_wins_always.mcf
    • /usr/share/mcrl2/doc/examples/games/peg_solitaire/peg_solitaire.mcrl2
    • /usr/share/mcrl2/doc/examples/games/peg_solitaire/rename.ren
    • /usr/share/mcrl2/doc/examples/games/peg_solitaire/run.py
    • /usr/share/mcrl2/doc/examples/games/rubiks_cube/rubiks_cube.mcrl2
    • /usr/share/mcrl2/doc/examples/games/rubiks_cube/run.py
    • /usr/share/mcrl2/doc/examples/games/snake/black_can_win.mcf
    • /usr/share/mcrl2/doc/examples/games/snake/black_has_winning_strategy.mcf
    • /usr/share/mcrl2/doc/examples/games/snake/eventually_white_or_black_wins.mcf
    • /usr/share/mcrl2/doc/examples/games/snake/run.py
    • /usr/share/mcrl2/doc/examples/games/snake/snake.mcrl2
    • /usr/share/mcrl2/doc/examples/games/snake/white_can_win.mcf
    • /usr/share/mcrl2/doc/examples/games/snake/white_has_winning_strategy.mcf
    • /usr/share/mcrl2/doc/examples/games/wolf_goat_cabbage/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/games/wolf_goat_cabbage/run.py
    • /usr/share/mcrl2/doc/examples/games/wolf_goat_cabbage/wolf_goat_cabbage.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/
    • /usr/share/mcrl2/doc/examples/industrial/1394/1394-fin.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/1394/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/industrial/1394/run.py
    • /usr/share/mcrl2/doc/examples/industrial/DIRAC/SMS.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/DIRAC/WMS.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/DIRAC/properties_SMS/eventuallyDeleted.mcf
    • /usr/share/mcrl2/doc/examples/industrial/DIRAC/properties_SMS/eventuallyDeleted.trc
    • /usr/share/mcrl2/doc/examples/industrial/DIRAC/properties_SMS/noTransitFromDeleted.mcf
    • /usr/share/mcrl2/doc/examples/industrial/DIRAC/properties_SMS/noTransitFromDeleted.trc
    • /usr/share/mcrl2/doc/examples/industrial/DIRAC/properties_WMS/jobFailedToDone.mcf
    • /usr/share/mcrl2/doc/examples/industrial/DIRAC/properties_WMS/jobFailedToDone.trc
    • /usr/share/mcrl2/doc/examples/industrial/DIRAC/properties_WMS/noZombieJobs.mcf
    • /usr/share/mcrl2/doc/examples/industrial/DIRAC/properties_WMS/noZombieJobs.trc
    • /usr/share/mcrl2/doc/examples/industrial/alma/alma.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/alma/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/industrial/alma/run.py
    • /usr/share/mcrl2/doc/examples/industrial/brp/brp.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/brp/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/industrial/brp/run.py
    • /usr/share/mcrl2/doc/examples/industrial/chatbox/chatbox.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/chatbox/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/industrial/chatbox/run.py
    • /usr/share/mcrl2/doc/examples/industrial/flexray/README
    • /usr/share/mcrl2/doc/examples/industrial/flexray/analyse.py
    • /usr/share/mcrl2/doc/examples/industrial/flexray/generate.py
    • /usr/share/mcrl2/doc/examples/industrial/flexray/generate_traces.py
    • /usr/share/mcrl2/doc/examples/industrial/flexray/preprocessor.py
    • /usr/share/mcrl2/doc/examples/industrial/flexray/randomtrace.py
    • /usr/share/mcrl2/doc/examples/industrial/flexray/startup.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/flexray/testset.json
    • /usr/share/mcrl2/doc/examples/industrial/flexray/trace.py
    • /usr/share/mcrl2/doc/examples/industrial/flexray/mucalc/eventually_comm.mcf
    • /usr/share/mcrl2/doc/examples/industrial/flexray/mucalc/eventually_startup.mcf
    • /usr/share/mcrl2/doc/examples/industrial/flexray/mucalc/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/industrial/garage/garage-r1.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/garage/garage-r2-error.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/garage/garage-r2.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/garage/garage-r3.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/garage/garage-ver.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/garage/garage.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/garage/lift-error.trc
    • /usr/share/mcrl2/doc/examples/industrial/garage/movie.trc
    • /usr/share/mcrl2/doc/examples/industrial/garage/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/industrial/garage/readme.txt
    • /usr/share/mcrl2/doc/examples/industrial/garage/run.py
    • /usr/share/mcrl2/doc/examples/industrial/garage/shuttle-error.trc
    • /usr/share/mcrl2/doc/examples/industrial/ieee-11073/11073.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/ieee-11073/data_can_be_communicated.mcf
    • /usr/share/mcrl2/doc/examples/industrial/ieee-11073/infinite_data_communication_is_possible.mcf
    • /usr/share/mcrl2/doc/examples/industrial/ieee-11073/no_inconsistent_operating_states.mcf
    • /usr/share/mcrl2/doc/examples/industrial/ieee-11073/no_successful_transmission_in_inconsistent_operating_states.mcf
    • /usr/share/mcrl2/doc/examples/industrial/ieee-11073/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/industrial/lift/lift3-final.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/lift/lift3-init.mcrl2
    • /usr/share/mcrl2/doc/examples/industrial/lift/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/industrial/lift/run.py
    • /usr/share/mcrl2/doc/examples/language/delta.mcrl2
    • /usr/share/mcrl2/doc/examples/language/delta0.mcrl2
    • /usr/share/mcrl2/doc/examples/language/divide2_10.mcrl2
    • /usr/share/mcrl2/doc/examples/language/divide2_100.mcrl2
    • /usr/share/mcrl2/doc/examples/language/divide2_500.mcrl2
    • /usr/share/mcrl2/doc/examples/language/exists.mcrl2
    • /usr/share/mcrl2/doc/examples/language/forall.mcrl2
    • /usr/share/mcrl2/doc/examples/language/funccomp.mcrl2
    • /usr/share/mcrl2/doc/examples/language/gpa_10_1.mcrl2
    • /usr/share/mcrl2/doc/examples/language/gpa_10_2.mcrl2
    • /usr/share/mcrl2/doc/examples/language/gpa_10_3.mcrl2
    • /usr/share/mcrl2/doc/examples/language/lambda.mcrl2
    • /usr/share/mcrl2/doc/examples/language/list.mcrl2
    • /usr/share/mcrl2/doc/examples/language/numbers.mcrl2
    • /usr/share/mcrl2/doc/examples/language/par.mcrl2
    • /usr/share/mcrl2/doc/examples/language/rational.mcrl2
    • /usr/share/mcrl2/doc/examples/language/sets_bags.mcrl2
    • /usr/share/mcrl2/doc/examples/language/small1.mcrl2
    • /usr/share/mcrl2/doc/examples/language/small2.mcrl2
    • /usr/share/mcrl2/doc/examples/language/small3.mcrl2
    • /usr/share/mcrl2/doc/examples/language/struct.mcrl2
    • /usr/share/mcrl2/doc/examples/language/tau.mcrl2
    • /usr/share/mcrl2/doc/examples/language/time.mcrl2
    • /usr/share/mcrl2/doc/examples/language/upcast.mcrl2
    • /usr/share/mcrl2/doc/examples/modal-formulas/nodeadlock.mcf
    • /usr/share/mcrl2/doc/examples/modal-formulas/nolivelock.mcf
    • /usr/share/mcrl2/doc/examples/pbes/datatypes.txt
    • /usr/share/mcrl2/doc/examples/pbes/nonmonotonic.txt
    • /usr/share/mcrl2/doc/examples/pbes/overloading.txt
    • /usr/share/mcrl2/doc/examples/pbes/pbes_inst_tr_1.txt
    • /usr/share/mcrl2/doc/examples/pbes/pbes_inst_tr_2.txt
    • /usr/share/mcrl2/doc/examples/pbes/pbes_inst_tr_3.txt
    • /usr/share/mcrl2/doc/examples/pbes/pbes_inst_tr_4.txt
    • /usr/share/mcrl2/doc/examples/pbes/pbes_inst_tr_5.txt
    • /usr/share/mcrl2/doc/examples/pbes/true.txt
    • /usr/share/mcrl2/doc/examples/project/
    • /usr/share/mcrl2/doc/examples/project/abp/abp.dgc
    • /usr/share/mcrl2/doc/examples/project/abp/abp.dgd
    • /usr/share/mcrl2/doc/examples/project/abp/abp.mcrl2
    • /usr/share/mcrl2/doc/examples/project/wafer_stepper/wafer_stepper.dgc
    • /usr/share/mcrl2/doc/examples/project/wafer_stepper/wafer_stepper.dgd
    • /usr/share/mcrl2/doc/examples/project/wafer_stepper/wafer_stepper.mcrl2
    • /usr/share/mcrl2/doc/examples/timed/
    • /usr/share/mcrl2/doc/examples/timed/ball_game/ball_game.mcrl2
    • /usr/share/mcrl2/doc/examples/timed/clock/clock_drift.mcrl2
    • /usr/share/mcrl2/doc/examples/timed/clock/clock_exact.mcrl2
    • /usr/share/mcrl2/doc/examples/timed/clock/clock_hasty.mcrl2
    • /usr/share/mcrl2/doc/examples/timed/fischer/fischer.mcrl2
    • /usr/share/mcrl2/doc/examples/timed/fischer/fischer_10.mcrl2
    • /usr/share/mcrl2/doc/examples/timed/fischer/fischer_100.mcrl2
    • /usr/share/mcrl2/doc/examples/timed/fischer/fischer_1000.mcrl2
    • /usr/share/mcrl2/doc/examples/timed/fischer/fischer_10000.mcrl2
    • /usr/share/mcrl2/doc/examples/timed/light/light.mcrl2
    • /usr/share/mcrl2/doc/examples/timed/simple/simple.mcrl2
    • /usr/share/mcrl2/doc/examples/visualisation/README
    • /usr/share/mcrl2/vim/filetype.vim
    • /usr/share/mcrl2/vim/syntax/ebnf.vim
    • /usr/share/mcrl2/vim/syntax/mcrl.vim
    • /usr/share/mcrl2/vim/syntax/mcrl2.vim
    Advertisement
    Advertisement