Detecting races in relay ladder logic programs

DOI10.1007/PL00010810zbMath1059.68535OpenAlexW2115300444MaRDI QIDQ1856156

Manuel Fähndrich, Alexander Aiken, Zhendong Su

Publication date: 2000

Published in: International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00010810

zbMATH Keywords

softwareverificationtestingstatic analysisconstraints

Mathematics Subject Classification ID

Theory of programming languages (68N15)

This page was built for publication: Detecting races in relay ladder logic programs