Skip to main content
홈
텍스트를 IPA로
음성을 IPA로
IPA로 단어 찾기
IPA 리더
Beta
IPA 차트
영국 영어
미국 영어
표준 중국어
IPA 차트
A–Z
블로그
toIPA
홈
텍스트를 IPA로
음성을 IPA로
IPA로 단어 찾기
IPA 리더
Beta
IPA 차트
전체
영국 영어
미국 영어
표준 중국어
IPA 차트
A–Z
블로그
🇰🇷 한국어
🇺🇸 English
🇨🇳 中文
🇯🇵 日本語
🇩🇪 Deutsch
🇫🇷 Français
🇪🇸 Español
🇮🇳 हिन्दी
🇸🇦 العربية
🇧🇩 বাংলা
🇵🇹 Português
🇮🇩 Bahasa Indonesia
🇵🇰 اردو
🇷🇺 Русский
🇻🇳 Tiếng Việt
🇹🇷 Türkçe
🇰🇷 한국어
🇮🇹 Italiano
🇳🇴 Norsk bokmål
🇳🇱 Nederlands
🇵🇱 Polski
🇸🇪 Svenska
🇬🇷 Ελληνικά
🇮🇱 עברית
🇮🇷 فارسی
🇹🇭 ไทย
🇺🇦 Українська
🇨🇿 Čeština
🇧🇾 Беларуская
홈
BLAST model checker
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