Login / Signup

Formal Verification of a Java Component Using the RESOLVE Framework.

Laine E. RumreichPaolo A. G. Sivilotti
Published in: FroCoS (2021)
Keyphrases
  • formal verification
  • main contribution
  • data sets
  • model checking
  • database
  • neural network
  • open source
  • lightweight
  • orders of magnitude