Diffusion afp-devel cd0b90f7688d

added equivalence and automata tool
cd0b90f7688d
Actions

Description

added equivalence and automata tool

Details

Provenance

Julian Brunner <julianbrunner@gmail.com>

Authored on

Parents

rAFP6119bf12038f: streamlined NBA translation

Branches

Unknown

Tags

Unknown

Event Timeline

Julian Brunner <julianbrunner@gmail.com> committed rAFPcd0b90f7688d: added equivalence and automata tool.Feb 18 2020, 12:03 AM

Changes (10)

Path

Size

thys

Buchi_Complementation

Complementation_Build.thy

Complementation_Final.thy

code

Automaton.sml

	Autool.mlb
	Complementation.mlb

	Autool.sml
	Complementation.sml

Complementation.mlb

Complementation.sml

rAFPcd0b90f7688d

View Options

thys/Buchi_Complementation/Complementation_Build.thy

View Options

thys/Buchi_Complementation/Complementation_Final.thy

View Options

thys/Buchi_Complementation/code/Automaton.sml

View Options

thys/Buchi_Complementation/code/Autool.mlb

View Options

thys/Buchi_Complementation/code/Autool.sml

View Options

thys/Buchi_Complementation/code/Complementation.mlb

View Options

thys/Buchi_Complementation/code/Complementation.sml

added equivalence and automata toolcd0b90f7688dActions

Description

Details

Event Timeline

Changes (10)

rAFPcd0b90f7688d

thys/Buchi_Complementation/Complementation_Build.thy

thys/Buchi_Complementation/Complementation_Final.thy

thys/Buchi_Complementation/code/Automaton.sml

thys/Buchi_Complementation/code/Autool.mlb

thys/Buchi_Complementation/code/Autool.sml

thys/Buchi_Complementation/code/Complementation.mlb

thys/Buchi_Complementation/code/Complementation.sml

added equivalence and automata tool
cd0b90f7688d
Actions