HomeIsabelle/Phabricator
Diffusion afp-devel 60862c9ef07b

refactored degeneralization
60862c9ef07b
Actions

Description

refactored degeneralization

Details

Provenance
Julian Brunner <julianbrunner@gmail.com>Authored on
Parents
rAFPdc3e35215567: updated basic theories
Branches
Unknown
Tags
Unknown

Event Timeline

Changes (13)

PathSize
LTL_Master_Theorem/
LTL_to_DRA/
Automata/
DBA/
DCA/

rAFP60862c9ef07b

View Options

thys/LTL_Master_Theorem/Code_Export.thy

Loading...
View Options

thys/LTL_Master_Theorem/LTL_to_DRA/DRA_Construction.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/DBA/DBA_Combine.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/DBA/DGBA.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/DCA/DCA_Combine.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Automata/DCA/DGCA.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Basic/Acceptance.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Basic/Degeneralization.thy

Loading...
View Options

thys/Transition_Systems_and_Automata/Transition_Systems/Transition_System_Degeneralization.thy

Loading...