A Verification Logic for Rewriting Logic Journal Articles

authors

• Martí-Oliet, Narciso
• Pita, Isabel
• Fiadeiro, José Luiz
• Meseguer, José
• Maibaum, Thomas

status

• published 

publication date

• June 1, 2005

has subject area

• 01 Mathematical Sciences (FoR)
• 08 Information and Computing Sciences (FoR)
• 22 Philosophy and Religious Studies (FoR)
• Computation Theory & Mathematics (Science Metrix)

published in

• Journal of Logic and Computation  Journal

keywords

• Computer Science
• Computer Science, Theory & Methods
• Logic
• MAUDE
• SPECIFICATION
• Science & Technology
• Science & Technology - Other Topics
• Technology
• modal action logic
• rewriting logic
• specification
• temporal logic
• verification

Digital Object Identifier (DOI)

• 10.1093/logcom/exi015

start page

• 317

end page

• 352

volume

• 15

issue

• 3