Strategies, model checking and branching-time properties in Maude
Rubén Rubio, Narciso Martı́-Oliet, Isabel Pita, Alberto Verdejo
Topics & Concepts
Nondeterministic algorithmRewritingModel checkingComputer scienceProgramming languageBranching (polymer chemistry)Temporal logicTheoretical computer scienceMaterials scienceComposite materialFormal Methods in VerificationLogic, Reasoning, and KnowledgeLogic, programming, and type systems