Login / Signup
MASA : a library for verification using manufactured and analytical solutions.
Nicholas Malaya
Kemelli C. Estacio-Hiroms
Roy H. Stogner
Karl W. Schulz
Paul T. Bauman
Graham F. Carey
Published in:
Eng. Comput. (2013)
Keyphrases
</>
optimal solution
model checking
similar problems
polynomial equations
real time
data sets
neural network
artificial intelligence
image sequences
lower bound
expert systems
benchmark problems
formal verification
practical solutions