Work

Model checking strategy-controlled systems in rewriting logic

Year: 2021

Type: article

Source: Automated Software Engineering

DOI: 10.1007/s10515-021-00307-9

Authors: Rubén Rubio, Narciso Martí-Oliet, Isabel Pita, Alberto Verdejo

Institution: Universidad Complutense de Madrid

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: Ministerio de Ciencia, Innovación y Universidades, Ministerio de Ciencia e Innovación

Awards: G1241453033, G3539397362, G3690828678, G8900230752

OpenAlex ID: W4200221259

FWCI: 1.733

Cites: 65

Cited by: 21

Related to: 10