Up-To Techniques for Weighted Systems
No abstract available.
Related papers
- Leveraging Weighted Automata in Compositional Reasoning about Concurrent Probabilistic Systems POPL 2015
- Weighted Pushdown Systems with Indexed Weight Domains TACAS 2013
- Extended Weighted Pushdown Systems CAV 2005
- Weighted Pushdown Systems and Trust-Management Systems TACAS 2006
- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis SAS 2003
- Complete completion using types and weights PLDI 2013
- Light-weight bounds checking CGO 2012
- A library for light-weight information-flow security in haskell Haskell 2008