Back to Results
First PageMeta Content
Data types / Type theory / Theoretical computer science / Program analysis / Programming language implementation / Abstract interpretation / Type system / Model checking / Programming language / Software engineering / Computing / Computer programming


Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls
Add to Reading List

Document Date: 2014-09-25 05:57:33

Open Document

File Size: 400,40 KB

Share Result on Facebook

City

Las Vegas / Los Angeles / New York / Paris / /

Company

ACM Press / Esprit / Hybrid Systems / /

Continent

Europe / /

Country

France / United States / /

/

Facility

Carnegie-Mellon University / /

IndustryTerm

prototype tool / validation tools / steel production / finite state concurrent systems / industrial control systems / concurrent systems / abstract interpretation algorithm / model checking tool / verification tool / /

Organization

International Electrotechnical Commission / Institution of Electrical Engineers / Technical Committee / Carnegie-Mellon University / /

Person

Ben Lukoschus II / Ben Lukoschus IV / Ben Lukoschus / Ralf Huuck / Yassine Lakhnech / Ben Lukoschus Lehrstuhl / /

Position

unified lattice model for static analysis / /

ProgrammingLanguage

IEC 61131-3 / /

ProvinceOrState

Illinois / New York / California / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

simulation / abstract interpretation algorithm / /

SocialTag