scholarly journals Automata-Theoretic Model Checking Revisited

2007 ◽  
pp. 137-150 ◽  
Author(s):  
Moshe Y. Vardi
Keyword(s):  
Model Checking ◽  
Theoretic Model

Stability in the informal value transfer systems: norms of trust or institutions of control?

2017 ◽  
pp. 120-130
Author(s):  
A. Lyasko
Keyword(s):  
Social Control ◽  
Institutional Economics ◽  
Theoretic Model ◽  
Transfer System ◽  
Value Transfer ◽  
Partner Interaction ◽  
Game Theoretic ◽  
Game Theoretic Model ◽  
Informal Value Transfer System

Informal financial operations exist in the shadow of official regulation and cannot be protected by the formal legal instruments, therefore raising concerns about the enforcement of obligations taken by their participants. This paper analyzes two alternative types of auxiliary institutions, which can coordinate expectations of the members of informal value transfer systems, namely attitudes of trust and norms of social control. It offers some preliminary approaches to creating a game-theoretic model of partner interaction in the informal value transfer system. It also sheds light on the perspectives of further studies in this area of institutional economics.

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