ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
◽
Cited By ~ 7
Author(s):
Klaus Schneider
◽
Ramayya Kumar
◽
Thomas Kropf
Keyword(s):
Finite State Machines
◽
Higher Order
◽
Order Logic
◽
Alternative Proof
◽
State Machines
◽
Higher Order Logic
◽
Finite State
Download Full-text
Related Documents
Cited By
References
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
◽
Finite State
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
◽
Cited By ~ 4
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
◽
Derivatives Of
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
◽
Cited By ~ 1
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
◽
Cited By ~ 5
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
◽
Finite State
Download Full-text
Higher Order Logic and Hardware Verification
10.1017/cbo9780511569845
◽
1993
◽
Cited By ~ 42
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
◽
Cited By ~ 1
Author(s):
R. Forth
◽
P. Molitor
Keyword(s):
Finite State Machines
◽
State Machines
◽
Finite State
◽
State Encoding
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
◽
Finite State
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close