scholarly journals Model Checking Erlang Programs – Abstracting Recursive Function Calls

2002 ◽  
Vol 64 ◽  
pp. 195-219 ◽  
Author(s):  
Frank Huch
Keyword(s):  
Model Checking ◽  
Recursive Function ◽  
Function Calls

Optimization of program recursive function calls analysis method

2016 ◽  
Vol 50 (4) ◽  
pp. 253-259 ◽  
Author(s):  
Chun Shan ◽  
Zequn Yu ◽  
Changzhen Hu ◽  
Jingfeng Xue ◽  
Luxia Wu
Keyword(s):  
Recursive Function ◽  
Analysis Method ◽  
Function Calls

Optimiizing Static Scope Lisp by Repetitive Interpretation of Recursive Function Calls

1987 ◽  
Vol SE-13 (6) ◽  
pp. 628-635
Author(s):  
K. Felgentreu ◽  
W.-M. Lippe ◽  
F.H. Simon
Keyword(s):  
Recursive Function ◽  
Function Calls

Model Checking Control Software for Nonlinear Dynamic Systems

2008 ◽  
Author(s):  
James Kapinski ◽  
Alexandre Donze ◽  
Flavio Lerda ◽  
Hitashyam Maka ◽  
Edmund Clarke ◽  
...  
Keyword(s):  
Model Checking ◽  
Dynamic Systems ◽  
Nonlinear Dynamic ◽  
Nonlinear Dynamic Systems ◽  
Control Software

REQUIREMENT FORMALIZATION FOR MODEL CHECKING USING EXTENDED BACKUS NAUR FORM

2019 ◽  
Vol 13 (3) ◽  
pp. 1
Author(s):  
ALIYU E. O. ◽  
ADEWALE O. S. ◽  
ADETUNMBI A. O. ◽  
OJOKOH B. A. ◽  
◽  
...  
Keyword(s):  
Model Checking
Sign in / Sign up

Export Citation Format

Share Document