search

oryanfuchs / synoptic

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

Add invariant support counts to Perfume #391

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Synoptic allows outputting support counts for invariants, which can suggest 
which invariants are more fundamental to the system's behavior and which 
invariants might be anomalous. Perfume does not support storing (or outputting) 
support counts, although they could be useful in enhancing Perfume (e.g., only 
extend invariants with resource bounds if they have high support).

Add invariant support counts to Perfume.

Original issue reported on code.google.com by tonyohm...@gmail.com on 19 Nov 2014 at 8:23

GoogleCodeExporter commented 9 years ago

Original comment by tonyohm...@gmail.com on 19 Nov 2014 at 9:22