Work

Synthesizing Mutable Configurations: Setting up Systems for Success

Year: 2019

Type: conference-paper

DOI: 10.1109/asew.2019.00034

Authors: Tim Nelson, Natasha Danas, Theophilos Giannakopoulos, Shriram Krishnamurthi

Institutions: Brown University, Systems and Technology Research (United States)

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W3003240365

FWCI: 0.505

Cites: 46

Cited by: 3

Related to: 10