网上证券交易系统的性能验证

摘要

网上证券交易系统的成功实施是电子商务领域的重要应用之一。由于网上证券交易系统具有更好的实时性和安全性，当前绝大多数证券交易所，如纽约证券交易所、美国证券交易所、上海证券交易所等，均采用了电子证券交易。然而，网上证券交易系统的设计是一项相当复杂而繁重的任务，为确保系统在运行中的正确性和一致性，系统的活性、安全性、公平性等重要性质必须得到形式上的分析与验证。因此，形式化方法在软件系统设计、开发和运行中都起着十分重要的作用。