Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,400,056 papers from all fields of science
Search
Sign In
Create Free Account
BLAST
Known as:
BLAST (Berkeley Lazy Abstraction Software Verification Tool)
, Berkeley lazy abstraction toolkit
, Blast model checker
The Berkeley Lazy Abstraction Software Verification Tool (BLAST) is a software model checking tool for C programs. The task addressed by BLAST is the…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
8 relations
CPAchecker
Device driver synthesis and verification
List of model checking tools
List of tools for static code analysis
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Analysis of MIMO System Through ZF & MMSE Detection Scheme
Swetamadhab Mahanta
,
Ankit Rajauria
2013
Corpus ID: 17006834
This paper proposes an improved vertical Bell Labs Layered Space-Time (V-BLAST) with spatial multiplexing technique used in MIMO…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE