Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00163220n
Noun Concept
Categories: Computing stubs, Static program analysis tools, Model checkers, Software using the Apache license, Free software testing tools
EN
BLAST model checker  Berkeley lazy abstraction toolkit  BLAST
EN
The Berkeley Lazy Abstraction Software Verification Tool is a software model checking tool for C programs. Wikipedia
Definitions
Relations
Sources
EN
The Berkeley Lazy Abstraction Software Verification Tool is a software model checking tool for C programs. Wikipedia
IS A
software
COPYRIGHT LICENSE
Apache License
COUNTRY
Russia
Switzerland
OPERATING SYSTEM
Linux
PROGRAMMING LANGUAGE
OCaml
USE
static program analysis
Wikipedia
EN
BLAST model checker
Wikidata
EN
BLAST model checker
Wikipedia Redirections
EN
Berkeley lazy abstraction toolkit, BLAST (Berkeley Lazy Abstraction Software Verification Tool), Blast Model Checker, Blast model checker

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License