(Q4034701)

English

BLAST model checker

Berkeley Lazy Abstraction Software verification Tool

In more languages

Statements

1 reference

imported from Wikimedia project

English Wikipedia

static program analysis

1 reference

imported from Wikimedia project

English Wikipedia

Wikimedia import URL

https://en.wikipedia.org/w/index.php?title=BLAST_model_checker&oldid=767829051

0 references

0 references

operating system

1 reference

imported from Wikimedia project

English Wikipedia

1 reference

imported from Wikimedia project

English Wikipedia

Wikimedia import URL

https://en.wikipedia.org/w/index.php?title=BLAST_model_checker&oldid=767829051

official website

http://mtc.epfl.ch/software-tools/blast/

1 reference

imported from Wikimedia project

Russian Wikipedia

https://forge.ispras.ru/projects/blast

1 reference

imported from Wikimedia project

English Wikipedia

copyright license

0 references

copyright status

0 references

Identifiers

0 references

Sitelinks

Wikipedia(2 entries)

enwiki BLAST model checker
ruwiki BLAST (статический анализатор)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Retrieved from "https://www.wikidata.org/w/index.php?title=Q4034701&oldid=2131195023"