Enhancing the Debugging of Maude Specifications.

Adrián Riesco Alberto Verdejo Narciso Martí-Oliet

Published in: WRLA (2010)

Keyphrases

formal specification
execution traces
software testing
delay insensitive
model checking
data sets
parallel programming
concurrent systems
databases
neural network
e learning
website
high level
source code
temporal logic
control flow