Work

Contract-Based Hierarchical Modeling and Traceability of Heterogeneous Requirements

Year: 2024

Type: article

Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

DOI: 10.1109/tcad.2024.3447213

Authors: Nikhil Vijay Naik, Alessandro Pinto, Pierluigi Nuzzo

Institutions: University of Southern California, California Institute of Technology, Jet Propulsion Laboratory, University of California, Berkeley

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: National Science Foundation, National Aeronautics and Space Administration

Awards: CAREER: High-Assurance Design of Learning-Enabled Cyber-Physical Systems with Deep Contracts, G3648211085, Collaborative Research: CPS: Medium: ASTrA: Automated Synthesis for Trustworthy Autonomous Utility Services

OpenAlex ID: W4402389497

FWCI: 0.779

Cites: 35

Cited by: 4

Related to: 10