Formal Verification Issues For Component-Based Development.

Published in: Informatica (Slovenia) (2020)

Keyphrases

formal verification
model checking
bounded model checking
component based development
model checker
automated verification
symbolic model checking
databases
artificial intelligence
case study
object oriented
open source
software quality
software reuse
reusable components