27 citations
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016★ 8 cited
Efficient CTL Verification via Horn Constraints Solving
Tewodros A. Beyene, Corneliu Popeea, Andrey Rybalchenko
The use of temporal logics has long been recognised as a fundamental approach to the formal specification and verification of reactive systems. In this paper, we take on the proble…
cs.LO2014★ 2 cited
G4LTL-ST: Automatic Generation of PLC Programs
Chih-Hong Cheng, Chung-Hao Huang, Harald Ruess +1
G4LTL-ST automatically synthesizes control code for industrial Programmable Logic Controls (PLC) from timed behavioral specifications of input-output signals. These specifications…