1
Publications
120
Citations
1
H-Index
2002
Active since
Affiliations
S. Couffin is an author at Centre National de la Recherche Scientifique specializing in computer science, software verification, and software testing.
Top concepts
AutomationEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2002–2002
1
1
Towards the automatic verification of PLC programs written in Instruction List
Géraud Canet, S. Couffin, Jean-Jacques Lesage et al. · 2002 · 120 citations
Rows per page
1–1 of 1