Lib.rs

› 关键词 #polars #regex #temporal-logic #offline-monitor #logic #testing

形式化方法

  1. temex

    用于评估随时间变化的系统的正则表达式样式的时态表达式

    v0.10.0 #regex #logic #polars #temporal-logic #formal-methods #offline-monitor

  2. crack

    通过符号执行验证分布式和无锁算法

    v0.1.0 #distributed-systems #consensus #testing #formal-methods #symbolic-execution