Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages.

Ai Liu Shaoying Liu

Published in: IEEE Trans. Software Eng. (2023)

Keyphrases

formal verification
software packages
model checking
software package
model checker
automated verification
bounded model checking
temporal logic
symbolic model checking
program slicing
expert systems
probabilistic reasoning