C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verifying cooperative software: A SMT-based bounded model checking approach for deterministic scheduler.
Haitao Zhang
Guoqiang Li
Daniel Sun
Yonggang Lu
Ching-Hsien Hsu
Published in:
J. Syst. Archit. (2017)
Keyphrases
</>
bounded model checking
cooperative
model checking
formal verification
multi agent systems
temporal logic
software development
software systems
software tools
linear temporal logic
computer systems
test cases
multi agent
software testing
test suite
formal specification
source code
general purpose
user interface