Dynamic Frames Based Verification Method for Concurrent Java Programs.

Wojciech Mostowski

Published in: VSTTE (2015)

Keyphrases

java programs
verification method
multi threaded
temporal logic
knowledge base
model checking
java language
information systems