loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers
London, England
September 10-September 14
ISBN: 0-7695-2884-8
ASCII Text
x 
 
Pablo F. Castro, T.S.E. Maibaum, "An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers," Software Engineering and Formal Methods, IEEE International Conference on, pp. 151-160, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2007.7,
author = {Pablo F. Castro and T.S.E. Maibaum},
title = {An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers},
journal ={Software Engineering and Formal Methods, IEEE International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2884-8},
pages = {151-160},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2007.7},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, IEEE International Conference on
TI - An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers
SN - 0-7695-2884-8
SP151
EP160
A1 - Pablo F. Castro,
A1 - T.S.E. Maibaum,
PY - 2007
KW - null
VL - 0
JA - Software Engineering and Formal Methods, IEEE International Conference on
ER -
 
Pablo F. Castro, McMaster University
T.S.E. Maibaum, McMaster University
In the present paper we use a variation of a well-known example (dining philosophers) to illustrate how deontic logics can be used to specify, and verify, systems with faulttolerant characteristics. Towards this goal, we first introduce our own version of a propositional deontic logic, and then some of its most important metaproperties are described. Our main goal is to show that our deontic formalism is suitable for use in practical examples, and also to prepare the ground for more inclusive formalisms.
Citation:
Pablo F. Castro, T.S.E. Maibaum, "An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers," sefm, pp.151-160, Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007
Usage of this product signifies your acceptance of the Terms of Use.