Login / Signup
Formal analysis and verification of the PSTM architecture using CSP.
Ailun Liu
Huibiao Zhu
Miroslav Popovic
Shuangqing Xiang
Lei Zhang
Published in:
J. Syst. Softw. (2020)
Keyphrases
</>
formal analysis
agent model
formal methods
constraint satisfaction problems
real time
software architecture
management system
constraint programming
ban logic
constraint satisfaction
databases
search algorithm
np hard
smart card
development process