search

Kirluu / UlrikHovsgaardAlgorithm

Description.
0 stars 1 forks source link

Report: Description and informal proof of UniqueTraceFinder (Foundation for Complete Redundancy-Remover) #15

Open Kirluu opened 6 years ago

Kirluu commented 6 years ago

Skeleton completed.

Major ideal addition: (preferably) small example that showcases the issue with alternate paths to previously seen states.