HLL 论坛
加入HLL社区
HLL 论坛是形式化规范语言 HLL 使用者的社区，我们相信它是形式化方法的上佳语言选择。 随着它开始成为事实上的标准，我们希望确保该语言以可控的方式发展，从而满足未来的需求。 HLL 论坛成立于 2018 年 12 月 4 日在巴黎举行的第一次会议。 从那时起，工具提供商一直在共同努力，将他们不同的 HLL 方言合并成一种统一的语言，我们的目标是下一步能够最终发布HLL 的官方版本。
欢迎加入 HLL 论坛。 通过加入社区，您的声音将确保会被听到。
迄今为止我们已经成功举行了以下会议：
- 2018 年 12 月 4 日，巴黎哈勒诺富特酒店：成立会议
- 2019 年 3 月 22 日，RATP 的语言开发小组会议（Prover、Systerel、SafeRiver、Ansys、RATP）：语言提案
- 2019 年 11 月 21 日：规范流程提案和后续步骤
关于HLL的更多内容
为什么进行形式验证-验证问题的解决方案
如果您已经阅读了本系列的前两部分，那么您将知道，验证联锁满足安全要求并不是一件容易的事。由于联锁的状态空间很大，因此手动方法和测试都无法助您一臂之力。
形式化验证Why系列之二：形式化验证的适用性
“形式化”其实就是指“数学”。因此，形式验证意味着将验证问题转化为数学问题。大家都知道一旦连结到数学领域，我们就可以获得数学所带来的严谨性和精确性。
形式化验证Why系列之一：铁路系统的安全需求
我将尝试解释为什么形式化验证是更好的选择。尤其是为什么在验证铁路系统的安全需求时使用形式化验证是一种好的做法。 为了做出令人信服的论证，我需要从头开始。
信号设计自动化论坛2019年会总结
11月6日，Prover在上海主办了2019年信号设计自动化论坛。 我们的主旨是召集铁路信号行业以及相关安全关键行业的专业人士，共享和讨论设计自动化的最新进展，使用软件技术实现铁路信号系统的自动化设计和验证，并特别地关注了通过形式验证保证安全。
保存日期 – SDA论坛将于2019年11月6日在北京举行
2017年，Prover Technology公司萌生了技术论坛的想法，我们希望创建一个分享经验和最佳实践以及相互沟通的论坛。 我们的目的是聚集来自世界各地领先的信号管理同行，并讨论自动化铁路信号系统的设计和验证中设计自动化和形式验证软件技术的最新发展，所以SDA论坛诞生了。 第一次会议由Prover公司于2017年5月15日在斯德哥尔摩主办。