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