• Home
  • BLAST model checker

BLAST model checker

Berkeley Lazy Abstraction Software verification Tool

en-US/ˈblæst ˈmɑdəl ˈt͡ʃɛkɚ/
en-GB/ˈblɑːst ˈmɒdəl ˈt͡ʃɛkə/

Categories:

software