scholarly journals Practical model-checking using games

1998 ◽  
pp. 85-101 ◽  
Author(s):  
Perdita Stevens ◽  
Colin Stirling
Keyword(s):  
Model Checking ◽  
Practical Model

Practical Model-Checking Method for Verifying Correctness of MPI Programs

2007 ◽  
pp. 344-353 ◽  
Author(s):  
Salman Pervez ◽  
Ganesh Gopalakrishnan ◽  
Robert M. Kirby ◽  
Robert Palmer ◽  
Rajeev Thakur ◽  
...  
Keyword(s):  
Model Checking ◽  
Practical Model

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

Leadership, morality and ethics: Developing a practical model for moral decision-making

2018 ◽  
Author(s):  
Alfred W. Kaszniak ◽  
Cynda H. Rushton ◽  
Joan Halifax
Keyword(s):  
Decision Making ◽  
Applied Ethics ◽  
Moral Decision ◽  
Moral Decision Making ◽  
Contemplative Science ◽  
Practical Model

The present paper is the product of collaboration between a neuroscientist, an ethicist, and a contemplative exploring issues around leadership, morality, and ethics. It is an exploration on how people in roles of responsibility can better understand how to engage in discernment processes with more awareness and a deeper sense of responsibility for others and themselves. It draws upon recent research and scholarship in neuroscience, contemplative science, and applied ethics to develop a practical understanding of how moral decision-making works and is essential in this time when there can seem to be an increasing moral vacuum in leadership.

Sign in / Sign up

Export Citation Format

Share Document