Efficient reduction of finite state model checking to reachability analysis

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 ◽  
Finite State

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

1968 ◽  
pp. 185-200 ◽  
Author(s):  
Donald S. Gann ◽  
Lee E. Ostrander ◽  
James D. Schoeffler
Keyword(s):  
State Model ◽  
Steroid Secretion ◽  
Finite State Model ◽  
Finite State

Finite‐state model extraction and visualization from Java program execution

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 ◽  
Finite State

Finite State Model of Walking Determined by Adaptive Logic Networks

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 ◽  
Finite State
Sign in / Sign up

Export Citation Format

Share Document