QPR Verify: A Static Analysis Tool for Embedded Software Based on Bounded Model Checking.

Marko Kleine Büning Carsten Sinz David Faragó

Published in: VSTTE (2020)

Keyphrases

analysis tool
embedded software
bounded model checking
model checking
formal verification
software architecture
embedded systems
development projects
temporal logic
linear temporal logic
multi agent systems
development process
web services
domain independent
software engineering
state space
high level