Work

Regular Model Checking with Regular Relations

Year: 2021

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-86593-1_13

Authors: Vrunda Dave, Taylor Dohmen, Shankara Narayanan Krishna, Ashutosh Trivedi

Institutions: Indian Institute of Technology Bombay, University of Colorado Boulder, University of Colorado System

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W3182273472

FWCI: 0.727

Cites: 40

Cited by: 3

Related to: 10