Symbolic Analysis of Maude Theories with Narval

• Main Authors: Alpuente, María, Ballis, Demis, Escobar, Santiago, Sapiña, Julia
• Format: Text
• Language: unknown
• Published: 2019
• Subjects: Computer Science - Logic in Computer Science; Computer Science - Programming Languages; Maude; narval
• Online Access: http://arxiv.org/abs/1907.10919

Concurrent functional languages that are endowed with symbolic reasoning capabilities such as Maude offer a high-level, elegant, and efficient approach to programming and analyzing complex, highly nondeterministic software systems. Maude's symbolic capabilities are based on equational unificati...