Symbolic Verification of Regular Properties for Java Programs.

Zhenbang Chen Hengbiao Yu Ji Wang Wei Dong

Published in: ACM SIGSOFT Softw. Eng. Notes (2019)

Keyphrases

java programs
multi threaded
model checking
java language
information systems
software components
artificial intelligence
evolutionary computation