Implementing And Verifying Finite-state Machines Using Types In Higher-order Logic

1991 International Workshop on the HOL Theorem Proving System and Its Applications ◽

10.1109/hol.1991.596279 ◽

2005 ◽

Author(s):

Shiu-Kai Chin ◽

G. Birtwistle

Keyword(s):

Finite State Machines ◽

Higher Order ◽

Order Logic ◽

State Machines ◽

Higher Order Logic ◽

Download Full-text

Alternative proof procedures for finite-state machines in higher-order logic

Higher Order Logic Theorem Proving and Its Applications - Lecture Notes in Computer Science ◽

10.1007/3-540-57826-9_137 ◽

1994 ◽

pp. 213-226 ◽

Author(s):

Klaus Schneider ◽

Ramayya Kumar ◽

Thomas Kropf

Keyword(s):

Finite State Machines ◽

Higher Order ◽

Order Logic ◽

Alternative Proof ◽

State Machines ◽

Higher Order Logic ◽

Download Full-text

Reasoning about state machines in higher-order logic

Hardware Specification, Verification and Synthesis: Mathematical Aspects - Lecture Notes in Computer Science ◽

10.1007/0-387-97226-9_24 ◽

1990 ◽

pp. 67-89 ◽

Author(s):

Paul Loewenstein

Keyword(s):

Higher Order ◽

Order Logic ◽

State Machines ◽

Higher Order Logic

Download Full-text

Higher-order Derivatives of Weighted Finite-state Machines

10.18653/v1/2021.acl-short.32 ◽

2021 ◽

Author(s):

Ran Zmigrod ◽

Tim Vieira ◽

Ryan Cotterell

Keyword(s):

Finite State Machines ◽

Higher Order ◽

State Machines ◽

Finite State ◽

Download Full-text

Systematic Refinement of Abstract State Machines with Higher-Order Logic

Lecture Notes in Computer Science - Abstract State Machines, Alloy, B, TLA, VDM, and Z ◽

10.1007/978-3-319-91271-4_14 ◽

2018 ◽

pp. 204-218 ◽

Author(s):

Flavio Ferrarotti ◽

Senén González ◽

Klaus-Dieter Schewe ◽

José María Turull-Torres

Keyword(s):

Higher Order ◽

Order Logic ◽

State Machines ◽

Abstract State Machines ◽

Higher Order Logic

Download Full-text

Formal verification of state-machines using higher-order logic

Proceedings 1989 IEEE International Conference on Computer Design: VLSI in Computers and Processors ◽

10.1109/iccd.1989.63356 ◽

2003 ◽

Author(s):

P.N. Loewenstein

Keyword(s):

Formal Verification ◽

Higher Order ◽

Order Logic ◽

State Machines ◽

Higher Order Logic

Download Full-text

Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic

Journal of Computer and System Sciences ◽

10.1016/j.jcss.2020.06.006 ◽

2021 ◽

Vol 115 ◽

pp. 22-53

Author(s):

Benedikt Bollig ◽

Marie Fortin ◽

Paul Gastin

Keyword(s):

Dynamic Logic ◽

Finite State Machines ◽

Order Logic ◽

First Order Logic ◽

State Machines ◽

Propositional Dynamic Logic ◽

First Order ◽

Download Full-text

Higher Order Logic and Hardware Verification

10.1017/cbo9780511569845 ◽

1993 ◽

Author(s):

T. F. Melham

Keyword(s):

Higher Order ◽

Order Logic ◽

Hardware Verification ◽

Higher Order Logic

Download Full-text

An efficient heuristic for state encoding minimizing the BDD representations of the transition relations of finite state machines

Proceedings 2000. Design Automation Conference. (IEEE Cat. No.00CH37106) ◽

10.1109/aspdac.2000.835071 ◽

2002 ◽

Author(s):

R. Forth ◽

P. Molitor

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Download Full-text

Combining SIMD and Many/Multi-core Parallelism for Finite-state Machines with Enumerative Speculation

ACM Transactions on Parallel Computing ◽

10.1145/3399714 ◽

2020 ◽

Vol 7 (3) ◽

pp. 1-26

Author(s):

Peng Jiang ◽

Yang Xia ◽

Gagan Agrawal

Keyword(s):

Finite State Machines ◽

State Machines ◽

Download Full-text

The process of automated knowledge control among technological installations operators modeling using finite-state machines

10.1063/5.0060506 ◽

2021 ◽

Author(s):

Ivan S. Polevshchikov ◽

Elizaveta B. Krokha

Keyword(s):

Finite State Machines ◽

State Machines ◽

Finite State ◽

Automated Knowledge

Download Full-text