Work

ASK-LTL Checker: A Tailored Model Checker for Linear Temporal Logic of CPN State Space

Year: 2024

Type: conference-paper

Source: IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

DOI: 10.1109/trustcom63139.2024.00251

Authors: Jing Li, Tao Sun, Wenjie Zhong

Institution: Inner Mongolia University

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: National Natural Science Foundation of China

OpenAlex ID: W4409156644

FWCI:

Cites: 13

Cited by:

Related to: 10