chubbymaggie / synoptic

Automatically exported from code.google.com/p/synoptic
0 stars 0 forks source link

Applying InvariMint to kTails #246

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
We want to apply the InvariMint approach to the kTails algorithm. For this, we 
need to mine kTails "invariants" and find a way to compose them so as to 
approximate (or derive exactly) the model that kTails would produce.

As part of this, we need to:
1. Derive and document what kTails invariants look like
2. Implement the algorithm that mines kTails invariants
3. Test the implementation

Original issue reported on code.google.com by bestchai on 25 Apr 2012 at 1:11

GoogleCodeExporter commented 9 years ago
Closing this while cleaning up open issues. Implemented last Spring.

Original comment by jenny.abrahamson on 5 Mar 2013 at 9:51