BLAST model checker

Berkeley Lazy Abstraction Software verification Tool

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

زمرے:

software