Logika: The Sireum Verification Framework.

Robby John Hatcliff Jason Belt

Published in: FMICS (2024)

Keyphrases

neural network
main contribution
framework enables
databases
genetic algorithm
data streams
digital libraries
distributed systems
bayesian framework