Login / Signup
A Symbolic Model Checking Approach to Verifying Satellite Onboard Software.
Xiang Gan
Jori Dubrovin
Keijo Heljanko
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)
Keyphrases
</>
symbolic model checking
model checking
safety analysis
formal verification
partial observability
software development
software systems
model checker
temporal logic
conformant planning
source code
symbolic representation
formal methods
machine learning
heuristic search
finite state