Formal checklists for remote agent dependability

Electronic Notes in Theoretical Computer Science

Volumn 117, Issue SPEC. ISS., 2005, Pages 229-248

  Denker, Grit ^a   Talcott, Carolyn L ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

Formal checklist; Goal oriented; Model based; Rewriting logic

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SCIENCE; MONITORING; ROBOTICS; SOFTWARE ENGINEERING; SPACE RESEARCH;

FORMAL CHECKLIST; GOAL ORIENTED; MODEL BASED; REWRITING LOGIC;

LOGIC PROGRAMMING;

EID: 12344300411     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.06.021     Document Type: Conference Paper

References (9)

1. D. Dvorak, R. Rasmussen, G. Reeves, and A. Sacks. Software Architecture Themes In JPL's Mission Data System. In IEEE Aerospace Conference, USA, 2000
2. http://maude.cs.uiuc.edu The Maude Homepage
3. M. Clavel, S. Eker, P. Lincoln, and J. Meseguer Principles of Maude Rewriting Logic Workshop'96 Electronic Notes in Theoretical Computer Science 4 1996 Elsevier http://www.elsevier.nl/locate/entcs/volume4.html
4. J. Meseguer Conditional rewriting logic as a unified model of concurrency Theoretical Computer Science 96 1 1992 73 155
5. José Meseguer Rewriting logic and Maude: A wide-spectrum semantic framework for object-based distributed systems S. Smith C.L. Talcott Formal Methods for Open Object-based Distributed Systems FMOODS 2000 2000 Kluwer 89 117
6. Manuel Clavel. Reflection in General Logics, Rewriting Logic, and Maude. PhD thesis University of Navarre, 1998
7. M. Clavel, and J. Meseguer Reflection and strategies in rewriting logic Rewriting Logic Workshop'96 Electronic Notes in Theoretical Computer Science 4 1996 Elsevier http://www.elsevier.nl/locate/entcs/volume4.html
8. N. Muscetolla, P. Pandurang, B. Pell, and B. Williams Remote Agent: To Boldly Go Where No AI System Has Gone Before Artificial Intelligence 103 1-2 1998 5 48
9. G. Denker, J. Meseguer, and C.L. Talcott Formal specification and analysis of active networks and communication protocols: The Maude experience DARPA Information Survivability Conference and Exposition, volume 1 (DISCEX 2000) 2000 IEEE 251 265