Diffusion afp-devel 581aa08c667e

abstracted from deterministic automata
581aa08c667e
Actions

Tags

None

Subscribers

None

Description

abstracted from deterministic automata

Details

Provenance

Julian Brunner <julianbrunner@gmail.com>

Authored on

Parents

rAFP86f544c41cb4: removed UNION

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (27)

Path

Size

Buchi_Complementation/

LTL_Master_Theorem/

Code_Export.thy

LTL_to_DRA/

DRA_Construction.thy

DRA_Implementation.thy

DRA_Instantiation.thy

code/

Transition_Systems_and_Automata

DBA/

DBA_Combine.thy

DCA/

DCA_Combine.thy

DRA/

DRA_Combine.thy

DRA_Explicit.thy

DRA_Implement.thy

DRA_Translate.thy

Deterministic.thy

Basic/

Degeneralization.thy

Sequence_LTL.thy

Sequence_Zip.thy

rAFP581aa08c667e

thys/Buchi_Complementation/Ranking.thy

Loading...

thys/LTL_Master_Theorem/Code_Export.thy

Loading...

thys/LTL_Master_Theorem/LTL_to_DRA/DRA_Construction.thy

Loading...

thys/LTL_Master_Theorem/LTL_to_DRA/DRA_Implementation.thy

Loading...

thys/LTL_Master_Theorem/LTL_to_DRA/DRA_Instantiation.thy

Loading...

thys/LTL_Master_Theorem/code/hoa.sml

Loading...

thys/Transition_Systems_and_Automata/Automata/DBA/DBA.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DBA/DBA_Combine.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DBA/DGBA.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DCA/DCA.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DCA/DCA_Combine.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DCA/DGCA.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DRA/DRA.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Combine.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Explicit.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Implement.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Refine.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/DRA/DRA_Translate.thy

Loading...

thys/Transition_Systems_and_Automata/Automata/Deterministic.thy

Loading...

thys/Transition_Systems_and_Automata/Basic/Basic.thy

Loading...

thys/Transition_Systems_and_Automata/Basic/Degeneralization.thy

Loading...

thys/Transition_Systems_and_Automata/Basic/Sequence.thy

Loading...

thys/Transition_Systems_and_Automata/Basic/Sequence_LTL.thy

Loading...

thys/Transition_Systems_and_Automata/Basic/Sequence_Zip.thy

Loading...