新的介绍内容： VSCode-CSP-Support是Visual Studio Code的一个扩展，旨在为CSP_M（机器可读CSP）提供语法高亮支持。CSP，即通信顺序进程，由C.A.R. Hoare发明，是一种用于建模和研究并发系统的进程代数。 牛津大学开发的FDR软件，是一个专为CSP设计的工具，帮助用户对并发系统进行建模和可视化。用户通过编写包含进程定义和需要验证的断言的脚本，这些脚本使用CSP_M编写。FDR读取这些脚本后，用户可以通过点击按钮来验证断言的有效性。 CSP_M和FDR的详细文档可以在相关网站上找到，帮助用户更好地理解和应用这些工具。通过VSCode-CSP-Support扩展，开发者可以更方便地在Visual Studio Code中编写和阅读CSP_M代码，提升开发效率。