Speeding Up the Safety Verification of Programmable Logic Controller Code
- 1 January 2013
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Software Model Checking via IC3Lecture Notes in Computer Science, 2012
- Verification of PLC Properties Based on Formal Semantics in CoqLecture Notes in Computer Science, 2011
- SAT-Based Model Checking without UnrollingLecture Notes in Computer Science, 2011
- IEC 61131-3: Programming Industrial Automation SystemsPublished by Springer Science and Business Media LLC ,2010
- Model Checking PLC Software Written in Function Block DiagramPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- Z3: An Efficient SMT SolverLecture Notes in Computer Science, 2008
- Checking Safety by Inductive Generalization of Counterexamples to InductionPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2007
- Interpolation and SAT-Based Model CheckingLecture Notes in Computer Science, 2003
- Symbolic Model Checking without BDDsLecture Notes in Computer Science, 1999
- Principles of Program AnalysisPublished by Springer Science and Business Media LLC ,1999