Artur Meski 55ff688fd0 add RSC with param for the new encoding suitable for parametric verification

2017-08-09 20:57:52 +01:00

..

__init__.py

add RSC with param for the new encoding suitable for parametric verification

2017-08-09 20:57:52 +01:00

context_automaton_with_concentrations.py

preparing for experiments, HSR -- reachability testing via rsLTL; some cleanup

2017-03-12 15:29:28 +01:00

context_automaton.py

getters for the used actions, automata supporting actions, transitions for actions, etc.

2017-01-01 00:34:27 +01:00

distributed_reaction_system.py

distributed reaction system

2016-12-28 20:59:45 +01:00

extended_context_automaton.py

working on smt encoding for NA

2017-01-01 18:23:02 +01:00

network_of_context_automata.py

working on smt encoding for NA

2017-01-01 18:23:02 +01:00

reaction_system_with_autnet.py

network of automata

2016-12-28 22:43:26 +01:00

reaction_system_with_automaton.py

network of automata

2016-12-28 22:43:26 +01:00

reaction_system_with_concentrations_param.py

add RSC with param for the new encoding suitable for parametric verification

2017-08-09 20:57:52 +01:00

reaction_system_with_concentrations.py

working on the encoding for rsLTL, testing functionality

2017-03-05 12:58:24 +01:00

reaction_system.py

getters for the used actions, automata supporting actions, transitions for actions, etc.

2017-01-01 00:34:27 +01:00