]> 2026-05-15T16:21:07+00:00 Formal methods tools 14 en 2021-11-02T23:54:51Z 2459521.4964236 Formal methods tools Alloy (specification language) 0 en Alloy (specification language) B-Method 0 en B-Method CPN-AMI 0 en CPN-AMI ESC/Java 0 en Esc Java KeY 0 en KeY Perfect Developer 0 en Perfect Developer Model checkers 14 en Model checkers Satisfiability modulo theories solvers 14 en Satisfiability modulo theories solvers Theorem proving software systems 14 en Theorem proving software systems Alloy (specification language) 0 en Alloy (specification language) B-Method 0 en B-Method CPN-AMI 0 en CPN-AMI ESC/Java 0 en Esc Java KeY 0 en KeY Perfect Developer 0 en Perfect Developer INST 102 en INST Subcategory of 102 en Subcategory of