Notes related to The software model checker BLAST: Applications to software engineering
Papers related to The software model checker BLAST: Applications to software engineering
- CPAchecker: A tool for configurable software verification [beyer:cav:2011]
- The BLAST query language for software verification [beyer:sas:2004]