Formalization and Verification of PLC Timers in Coq

doi 10.1109/compsac.2009.49
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Modular Verification of Programs With Effects and Effect Handlers in Coq

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Technical Systems in Logic: Questions of Formalization and Automatic Verification

Logical Investigations
2013English

Extending Coq With Imperative Features and Its Application to SAT Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

An Algebraic Approach for PLC Programs Verification

English

Experimental Verification of Innovative Approach to Formalization of Motor Activity.

Bulletin of Bryansk state technical university
2014English

Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study

IPSJ Digital Courier
2005English

Tilting at Windmills With Coq: Formal Verification of a Compilation Algorithm for Parallel Moves

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2008English

Chemical Biology: Fluorescent Timers

Nature
Multidisciplinary
2009English

Nested Abstract Syntax in Coq

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy