Work

Quantitative Verification for Temporal Properties of Massive Linear Systems

Year: 2025

Type: conference-paper

Abstract: Artifact Package for FORMATS 2025 Paper #3830: Quantitative Verification for Temporal Properties of Massive Linear Systems

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.15278793

Authors: Liu, Qing, Li, Yuntao, Choi, Sung Woo, Nguyen, Luan, Tran, Dung

Institutions: University of Nebraska–Lincoln, University of Dayton

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6893362084

FWCI:

Cites:

Cited by:

Related to: