Re: [isabelle] who knows theorem-proving about cache protocols

| who know who has theorem-proving tehniques for proving invariants for cache
| protocol, especially for parameter protocols such as FLASH and German?

I've done a formalization in HOL Light of the finite-state abstraction
method given by Chou, Mannava and Park at FMCAD 2004:

However, I've never written it up at all, let alone published it.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.