Implement Simple Transformer for Synchronous Case

Pathemeous / Symbolic-Gossip

Symbolic Model Checker for the Gossip Problem

GNU General Public License v2.0

2 stars 0 forks source link

Implement Simple Transformer for Synchronous Case #3

Closed Pathemeous closed 3 months ago

Pathemeous commented 3 months ago

The concept of a Simple Transformer (unpublished) avoids copying variables from $V_-$ or modifying the vocabulary. This should provide a speedup compared to the classical transformrer implemented currently in SMCDEL GossipS5.hs.

Code from Haitian already implements the simple transformer framework. We should only define the transformer itself.

Pathemeous commented 3 months ago

Transfomer is implemented, but lacks certain knowledge