scientific article; zbMATH DE number 5718039

MaRDI QIDQ3566623zbMATH OpenFDO

Authors André Sülflow

Publication date 8 June 2010

Full work available at URL http://www.shaker.de/de/content/catalogue/index.asp?lang=de&ID=8&ISBN=978-3-8322-8945-4

zbMATH Keywords

PLC softwareSystemC

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 549074
• scientific article; zbMATH DE number 1517029
• scientific article; zbMATH DE number 1973214
• scientific article; zbMATH DE number 1614683
• Using word-level information in formal hardware verification
• scientific article; zbMATH DE number 877748
• Formal verification of a generic framework to synthesize SAT-provers

Cited in

(4)

• WoLFram
• Leveraging Horn clause solving for compositional verification of PLC software
• Component-based formal modeling of PLC systems
• Verification of programmable logic controller code using model checking and static analysis

Describes a project that uses

Uses Software

• NuSMV

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3566623)