← back to paper

Review history

arxiv: 2509.05596 · 2 revisions

Verifying Correctness of PLC Software during System Evolution using Model Containment Approach

1. 2026-08-15 CONDITIONAL MODERATE v1.4.0-alltime-deepseek-medium novelty 5.0
   49837 ms 23422 in 7120 out 2026-08-15T16:20:47.983691+00:00
2. 2026-08-05 CONDITIONAL MODERATE v1.3.0-alltime-deepseek novelty 6.0
   140618 ms 23580 in 13932 out 2026-08-05T05:20:06.903972+00:00