Executable rewriting logic semantics of Orc and formal analysis of Orc programs

Document Details

Document Type
Pub Defense Publication
Publication Date
Jul 01, 2015
Source ID
10.1016/j.jlamp.2015.03.003

Entities

People

  • José Meseguer
  • Musab A. Alturki

Organizations

  • Air Force Office of Scientific Research
  • King Fahd University of Petroleum and Minerals
  • National Science Foundation