Quick Links
- Daniel Kroening
- Boolean Programs
- SMT Lists/Sets/Maps
- Google groups:
- SMT 2010
Termination Analysis
Papers
- TACAS 2010: Ranking function synthesis for bit-vector relations
- CAV 2010: Compositional Termination Analysis
Support
This research is currently supported by a grant from the Swiss National Science Foundation.