Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ming Gu
Formalization and Verification of PLC Timers in Coq
Prospectus for the Next LAPACK and ScaLAPACK Libraries
‹
1
2
Related publications
Modular Verification of Programs With Effects and Effect Handlers in Coq
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Technical Systems in Logic: Questions of Formalization and Automatic Verification
Logical Investigations
Extending Coq With Imperative Features and Its Application to SAT Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Algebraic Approach for PLC Programs Verification
Experimental Verification of Innovative Approach to Formalization of Motor Activity.
Bulletin of Bryansk state technical university
Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study
IPSJ Digital Courier
Tilting at Windmills With Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Chemical Biology: Fluorescent Timers
Nature
Multidisciplinary
Nested Abstract Syntax in Coq
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
