Model checking strategy-controlled systems in rewriting logic
Rubén Rubio, Narciso Martı́-Oliet, Isabel Pita, Alberto Verdejo
Topics & Concepts
RewritingComputer scienceProgramming languageModel checkingNondeterministic algorithmConcurrencyEquational logicModular designTheoretical computer scienceFormal Methods in VerificationLogic, programming, and type systemsSoftware Testing and Debugging Techniques