Modelling and Formal Verification of Timing Aspects in Large PLC Programs

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Property preserving abstractions for the verification of concurrent systems

Claire Loiseaux, Susanne Graf, Joseph Sifakis et al. · Formal Methods in System Design · 1995 · 352 citations

Engineering, Automated Reasoning, Property Preserving Abstractions +7

Rigorous Component-Based System Design Using the BIP Framework

Ananda Basu, Bensalem Bensalem, Marius Bozga et al. · IEEE Software · 2011 · 276 citations · Full text

Timed automaton models for simple programmable logic controllers

Angelika Mader, H Wupper · 2003 · 60 citations

Engineering, Verification, Software Analysis +20

Verification of a Timed Multitask System With Uppaal

Houda Bel Mokadem, Béatrice Bérard, Vincent Gourcuff et al. · IEEE Transactions on Automation Science and Engineering · 2010 · 50 citations · Full text