Formal verification of statecharts using finite-state model checkers

IEEE Transactions on Control Systems Technology ◽

10.1109/tcst.2006.876921 ◽

2006 ◽

Vol 14 (5) ◽

pp. 943-950 ◽

Author(s):

Qianchuan Zhao ◽

B.H. Krogh

Keyword(s):

Formal Verification ◽

State Model ◽

Finite State Model ◽

Download Full-text

Formal verification of Statecharts using finite-state model checkers

Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148) ◽

10.1109/acc.2001.945563 ◽

2001 ◽

Author(s):

Qianchuan Zhao ◽

B.H. Krogh

Keyword(s):

Formal Verification ◽

State Model ◽

Finite State Model ◽

Download Full-text

Representing phonological features through a two-level finite state model

10.21437/interspeech.2011-194 ◽

2011 ◽

Author(s):

Javier M. Olaso ◽

M. Inés Torres ◽

Raquel Justo

Keyword(s):

State Model ◽

Finite State Model ◽

Phonological Features ◽

Download Full-text

A Finite State Model for the Control of Adrenal Cortical Steroid Secretion

Systems Theory and Biology ◽

10.1007/978-3-642-88343-9_8 ◽

1968 ◽

pp. 185-200 ◽

Author(s):

Donald S. Gann ◽

Lee E. Ostrander ◽

James D. Schoeffler

Keyword(s):

State Model ◽

Steroid Secretion ◽

Finite State Model ◽

Download Full-text

Finite‐state model extraction and visualization from Java program execution

Software Practice and Experience ◽

10.1002/spe.2910 ◽

2020 ◽

Vol 51 (2) ◽

pp. 409-437

Author(s):

Jevitha K. P. ◽

Swaminathan Jayaraman ◽

Bharat Jayaraman ◽

Sethumadhavan M

Keyword(s):

State Model ◽

Program Execution ◽

Model Extraction ◽

Finite State Model ◽

Java Program ◽

Download Full-text

An integrated finite-state model for rotor deformation, nonlinear airloads, inflow and trim

Mathematical and Computer Modelling ◽

10.1016/0895-7177(93)90108-b ◽

1993 ◽

Vol 18 (3-4) ◽

pp. 115-129 ◽

Author(s):

W.M. Stumpf ◽

D.A. Peters

Keyword(s):

State Model ◽

Finite State Model ◽

Download Full-text

Efficient reduction of finite state model checking to reachability analysis

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-003-0121-x ◽

2004 ◽

Vol 5 (2-3) ◽

pp. 185-204 ◽

Author(s):

Viktor Schuppan ◽

Armin Biere

Keyword(s):

Model Checking ◽

Reachability Analysis ◽

State Model ◽

Finite State Model ◽

Efficient Reduction ◽

Download Full-text

Application of a Finite-State Model to Text Compression

The Computer Journal ◽

10.1093/comjnl/36.7.607 ◽

1993 ◽

Vol 36 (7) ◽

pp. 607-614 ◽

Author(s):

J. Tuehola

Keyword(s):

State Model ◽

Text Compression ◽

Finite State Model ◽

Download Full-text

Finite State Model of Walking Determined by Adaptive Logic Networks

2006 8th Seminar on Neural Network Applications in Electrical Engineering ◽

10.1109/neurel.2006.341194 ◽

2006 ◽

Author(s):

Sonia D'Souza ◽

Padmaja Kankipati ◽

Mohammad Zubayer-Ul-Karim ◽

Dejan B. Popovic ◽

William W. Armstrong

Keyword(s):

State Model ◽

Adaptive Logic ◽

Finite State Model ◽

Download Full-text

A Heuristic Finite-State Model of the Human Driver in a Car-Following Situation

IEEE Transactions on Systems Man and Cybernetics ◽

10.1109/tsmc.1976.4309550 ◽

1976 ◽

Vol SMC-6 (8) ◽

pp. 554-562 ◽

Author(s):

Gerald O. Burnham ◽

George A. Bekey

Keyword(s):

State Model ◽

Car Following ◽

Finite State Model ◽

Human Driver ◽

Download Full-text

Strongly consistent code-based identification and order estimation for constrained finite-state model classes

IEEE Transactions on Information Theory ◽

10.1109/18.256497 ◽

1993 ◽

Vol 39 (3) ◽

pp. 893-902 ◽

Author(s):

J.C. Kieffer

Keyword(s):

State Model ◽

Order Estimation ◽

Finite State Model ◽

Finite State ◽

Strongly Consistent

Download Full-text