Content-Length: 243839 | pFad | http://github.com/rodamber/automaton

D6 GitHub - rodamber/automaton: Verification of an NFA to DFA transformation using Stainless

rodamber / automaton Public

Notifications You must be signed in to change notification settings
Fork 0
Star 1

Verification of an NFA to DFA transformation using Stainless

1 star 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 112 Commits
report		report
.gitignore		.gitignore
Automaton.scala		Automaton.scala
AutomatonCache.scala		AutomatonCache.scala
README.md		README.md
Set.scala		Set.scala
TODO.org		TODO.org
USet.scala		USet.scala
last.log		last.log

Repository files navigation

Automaton

Simple NFA to DFA transformation by powerset construction, verified with stainless.

About

Verification of an NFA to DFA transformation using Stainless

Report repository

Languages