Sign in
Ongoing verification of a multiphysics community code: FLASH.
Anshu Dubey
Klaus Weide
Dongwook Lee
John Bachan
Christopher S. Daley
Samuel Olofin
Noel T. Taylor
Paul M. Rich
Lynn B. Reid
Published in:
Softw. Pract. Exp. (2015)
Keyphrases
</>
current status
source code
byte code
artificial intelligence
high level
community detection
face verification
database
real time
search engine
knowledge base
model checking
formal analysis
verification method
symbolic execution