Paper Citation Record · LEDGER

Automated LTL Specification Generation from Industrial Aerospace Requirements

As of 7 August 2026, this Paper Citation Record lists 42 of 42 outbound references and 0 inbound Pith citation observations for arXiv:2604.21715.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2604.21715 v1

Coverage vector

measured 42 of 42 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-05-10T03:13:11.928039Z

measured 42 of 42 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

42 of 42 outbound references displayed

verified exact6
verified fuzzy31
unresolved2
parse uncertain0
malformed identifier0
metadata mismatch3

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1e8a20f8-bb67-4d70-8649-e81f2d553e0e · outbound

This paper cites Linear temporal logic symbolic model checking.Computer Sci- ence Review, 5(2):163–203.

Automated LTL Specification Generation from Industrial Aerospace Requirements Linear temporal logic symbolic model checking.Computer Sci- ence Review, 5(2):163–203

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.302906Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 8c1afccc-be4b-4287-aff0-ad3c362cc1a5 · outbound

This paper cites Springer Science & Business Media.

Automated LTL Specification Generation from Industrial Aerospace Requirements Springer Science & Business Media

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.311104Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 467a0841-709c-45f3-82a3-62f9076db1ff · outbound

This paper cites Runtime verification for ltl and tltl.ACM Transactions on Software Engineering and Methodology (TOSEM), 20(4):1–64.

Automated LTL Specification Generation from Industrial Aerospace Requirements Runtime verification for ltl and tltl.ACM Transactions on Software Engineering and Methodology (TOSEM), 20(4):1–64

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.308408Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 157dbfe4-fd18-4098-8672-dc4739bb70ec · outbound

This paper cites Large Language Models: A Survey.

Automated LTL Specification Generation from Industrial Aerospace Requirements Large Language Models: A Survey

Reference 4

Resolution: verified exact; arxiv_id, observed 2026-05-11T15:22:57.224432Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5258f2d1-5559-4400-b1df-2f21a75ca64b · outbound

This paper cites A comprehen- sive overview of large language models.ACM Transactions on Intelligent Systems and Technology, 16(5):1–72.

Automated LTL Specification Generation from Industrial Aerospace Requirements A comprehen- sive overview of large language models.ACM Transactions on Intelligent Systems and Technology, 16(5):1–72

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.313851Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7be488b5-957f-4bf2-8f5c-674dd443da06 · outbound

This paper cites Automatically inspecting thousands of static bug warnings with large language model: How far are we?ACM Transactions on Knowledge Discovery from Data, 18(7):1–34.

Automated LTL Specification Generation from Industrial Aerospace Requirements Automatically inspecting thousands of static bug warnings with large language model: How far are we?ACM Transactions on Knowledge Discovery from Data, 18(7):1–34

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.287411Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b443f2df-ce48-441b-834c-2a61018044b7 · outbound

This paper cites Cfstra: En- hancing configurable program analysis through llm-driven strategy selection based on code features.

Automated LTL Specification Generation from Industrial Aerospace Requirements Cfstra: En- hancing configurable program analysis through llm-driven strategy selection based on code features

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.292172Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 511368ed-ff50-4391-ab30-ae350e2306e5 · outbound

This paper cites nl2spec: Interactively translating unstructured natural language to temporal logics with large language models.

Automated LTL Specification Generation from Industrial Aerospace Requirements nl2spec: Interactively translating unstructured natural language to temporal logics with large language models

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.297430Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 6597c12f-17b6-4e54-8157-39492a9566da · outbound

This paper cites Nl2tl: Transforming natural languages to temporal logics using large language models.

Automated LTL Specification Generation from Industrial Aerospace Requirements Nl2tl: Transforming natural languages to temporal logics using large language models

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.272117Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 76965479-4140-44ce-888e-586702fdcfa0 · outbound

This paper cites Nl2ltl - a python package for con- verting natural language (nl) instructions to linear temporal logic (ltl) formulas.

Automated LTL Specification Generation from Industrial Aerospace Requirements Nl2ltl - a python package for con- verting natural language (nl) instructions to linear temporal logic (ltl) formulas

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.275968Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 98aad0cc-4769-4611-bec7-a4c3b827b22a · outbound

This paper cites PhD thesis, Massachusetts Institute of Technology.

Automated LTL Specification Generation from Industrial Aerospace Requirements PhD thesis, Massachusetts Institute of Technology

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.278658Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 610d9687-5b98-4a92-a77d-09fc2d073d32 · outbound

This paper cites From informal to formal– incorporating and evaluating llms on natural language requirements to verifiable formal proofs.

Automated LTL Specification Generation from Industrial Aerospace Requirements From informal to formal– incorporating and evaluating llms on natural language requirements to verifiable formal proofs

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.267454Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b13469a3-fd0f-49c5-a17e-27ea320c93d2 · outbound

This paper cites Enchanting program specification synthesis by large language models using static analysis and program verification.

Automated LTL Specification Generation from Industrial Aerospace Requirements Enchanting program specification synthesis by large language models using static analysis and program verification

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.257133Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d3c57004-7517-4a08-b212-2322ec4dde4e · outbound

This paper cites Integrating ensemble learning and large language models for efficient formal verification of ip-based aerospace systems.

Automated LTL Specification Generation from Industrial Aerospace Requirements Integrating ensemble learning and large language models for efficient formal verification of ip-based aerospace systems

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.259649Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2a15bed3-981c-41f5-bcdb-114d0defd48d · outbound

This paper cites Formal verifica- tion of aerospace software ip components: A multi-tool case study.

Automated LTL Specification Generation from Industrial Aerospace Requirements Formal verifica- tion of aerospace software ip components: A multi-tool case study

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.269786Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 88457c6b-9183-456e-b135-265ee2c77e69 · outbound

This paper cites Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems.

Automated LTL Specification Generation from Industrial Aerospace Requirements Towards Practical Requirement Analysis and Verification: A Case Study on Software IP Components in Aerospace Embedded Systems

Reference 16

Resolution: verified exact; arxiv_id, observed 2026-05-10T03:14:07.845395Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f3564e90-1844-49d9-b3a3-c41edc85c53e · outbound

This paper cites Gpt-4o technical report.https://openai.com/index/gpt-4o.

Automated LTL Specification Generation from Industrial Aerospace Requirements Gpt-4o technical report.https://openai.com/index/gpt-4o

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.284338Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation cb29874c-0291-441a-8653-704ca4235111 · outbound

This paper cites Topological Interlayer Superconductivity in a van der Waals Heterostructure.

Automated LTL Specification Generation from Industrial Aerospace Requirements Topological Interlayer Superconductivity in a van der Waals Heterostructure

Reference 18

Resolution: verified exact; arxiv_id, observed 2026-05-10T03:14:07.840718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a3b999a2-fd14-4396-8413-f62ca35df5a5 · outbound

This paper cites Checking metric temporal logic with trace.

Automated LTL Specification Generation from Industrial Aerospace Requirements Checking metric temporal logic with trace

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.289964Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 30d9e9ef-acc4-4336-abd8-a98ca8d5cdfe · outbound

This paper cites Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs.

Automated LTL Specification Generation from Industrial Aerospace Requirements Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.246910Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 16b1a0ec-5d61-4135-b49c-6050ee081dbd · outbound

This paper cites Klee symbolic execution engine in 2019.In- ternational Journal on Software Tools for Technology Transfer, 23:867–870.

Automated LTL Specification Generation from Industrial Aerospace Requirements Klee symbolic execution engine in 2019.In- ternational Journal on Software Tools for Technology Transfer, 23:867–870

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.249409Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a0984c78-9fc3-487a-95ca-c1ea9d6e5aeb · outbound

This paper cites Program analysis with a debugger: Gdb.

Automated LTL Specification Generation from Industrial Aerospace Requirements Program analysis with a debugger: Gdb

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.241664Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 29446285-02ef-40ea-be18-ac9d1aba37a6 · outbound

This paper cites Grammar-forced translation of natural language to temporal logic using llms.

Automated LTL Specification Generation from Industrial Aerospace Requirements Grammar-forced translation of natural language to temporal logic using llms

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.236288Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d053b1a8-8c63-476e-ba82-db14b74a604c · outbound

This paper cites Learning from failures: Translation of natural language requirements into linear temporal logic with large language mod- els.

Automated LTL Specification Generation from Industrial Aerospace Requirements Learning from failures: Translation of natural language requirements into linear temporal logic with large language mod- els

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.239057Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation be7a1ea5-81f1-4599-88da-f2933f3a27a1 · outbound

This paper cites Lang2ltl: Translating natural language commands to temporal specification with large language models.

Automated LTL Specification Generation from Industrial Aerospace Requirements Lang2ltl: Translating natural language commands to temporal specification with large language models

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.244173Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation cb083df5-1f05-4f7d-a0ee-20663b9713d7 · outbound

This paper cites an unresolved cited work.

Automated LTL Specification Generation from Industrial Aerospace Requirements Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-05-22T17:35:02.251498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 8ff5eaab-1c82-455f-916e-83fb1ee4c787 · outbound

This paper cites an unresolved cited work.

Automated LTL Specification Generation from Industrial Aerospace Requirements Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-05-22T17:35:02.225980Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation ab7305ac-535b-4218-aa58-e005d17e421f · outbound

This paper cites Is Self-Repair a Silver Bullet for Code Generation?.

Automated LTL Specification Generation from Industrial Aerospace Requirements Is Self-Repair a Silver Bullet for Code Generation?

Reference 29

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T03:14:07.850971Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2632d379-fdb7-4601-a320-ac92324147d4 · outbound

This paper cites Automated extraction of protocol state machines from 3gpp specifications with domain-informed prompts and llm ensembles.ArXiv, abs/2510.14348.

Automated LTL Specification Generation from Industrial Aerospace Requirements Automated extraction of protocol state machines from 3gpp specifications with domain-informed prompts and llm ensembles.ArXiv, abs/2510.14348

Reference 30

Resolution: verified exact; arxiv_id, observed 2026-05-10T03:14:07.853620Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c3d9b1f6-c78b-4b8d-bf9d-42f1b0c0a0f1 · outbound

This paper cites Springer.

Automated LTL Specification Generation from Industrial Aerospace Requirements Springer

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.228085Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation fc1a4881-6694-451c-977a-399f9b77e660 · outbound

This paper cites From domain descriptions to requirements prescriptions.

Automated LTL Specification Generation from Industrial Aerospace Requirements From domain descriptions to requirements prescriptions

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.220838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 62f46221-7810-4513-b934-75c1f1861cbe · outbound

This paper cites Unlocking the silent needs: Business-logic-driven iterative requirements auto-completion.

Automated LTL Specification Generation from Industrial Aerospace Requirements Unlocking the silent needs: Business-logic-driven iterative requirements auto-completion

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.215525Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 53b3ce17-5f41-4a04-a7b4-0006de14dfd0 · outbound

This paper cites FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols.

Automated LTL Specification Generation from Industrial Aerospace Requirements FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols

Reference 34

Resolution: verified exact; arxiv_id, observed 2026-05-10T03:14:07.856321Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 4e95303c-3704-4219-bc10-7fb475ca4aeb · outbound

This paper cites Towards legal contract for- malization with controlled natural language templates.

Automated LTL Specification Generation from Industrial Aerospace Requirements Towards legal contract for- malization with controlled natural language templates

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.218435Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7c11c9d3-8a92-4ee3-9455-ee3e9120e9c5 · outbound

This paper cites URL https://arxiv.org/abs/2512.

Automated LTL Specification Generation from Industrial Aerospace Requirements URL https://arxiv.org/abs/2512

Reference 36

Resolution: verified exact; arxiv_id, observed 2026-05-10T03:14:07.827681Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a3289561-ae6c-4814-b22d-7fc445fe65fa · outbound

This paper cites Domain engineering: A software engineering discipline in need of research.

Automated LTL Specification Generation from Industrial Aerospace Requirements Domain engineering: A software engineering discipline in need of research

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.223781Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 924dcb26-9c43-4d66-973e-e7095dc71ee6 · outbound

This paper cites Survey of machine learning for software-assisted hardware design verification: Past, present, and prospect.ACM Transactions on Design Automation of Electronic Systems.

Automated LTL Specification Generation from Industrial Aerospace Requirements Survey of machine learning for software-assisted hardware design verification: Past, present, and prospect.ACM Transactions on Design Automation of Electronic Systems

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.230921Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation b9fa877c-87ef-446f-b3cf-3236473b616c · outbound

This paper cites Faegheh Yeganli, Mohammad Baharloo, and Amirali Bani- asadi.

Automated LTL Specification Generation from Industrial Aerospace Requirements Faegheh Yeganli, Mohammad Baharloo, and Amirali Bani- asadi

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.233647Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 51bcb02c-ee50-4e0a-9d2f-6b2ebf81ebb0 · outbound

This paper cites Modeling like peeling an onion: Layerwise analysis-driven automatic behavioral model genera- tion.

Automated LTL Specification Generation from Industrial Aerospace Requirements Modeling like peeling an onion: Layerwise analysis-driven automatic behavioral model genera- tion

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.254199Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation e8c988c2-a99f-4a3a-92b5-3f07c9cbfc2c · outbound

This paper cites English, Chase Walker, Dominic Simon, Sumit K.

Automated LTL Specification Generation from Industrial Aerospace Requirements English, Chase Walker, Dominic Simon, Sumit K

Reference 41

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T03:14:07.833814Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7a24d2ae-9c4d-457d-983a-c0c173aed98d · outbound

This paper cites Translating natural language to temporal logics with large language models and model checkers.2024 Formal Methods in Computer-Aided Design (FMCAD), pages 1–11.

Automated LTL Specification Generation from Industrial Aerospace Requirements Translating natural language to temporal logics with large language models and model checkers.2024 Formal Methods in Computer-Aided Design (FMCAD), pages 1–11

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-05-22T17:35:02.300386Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 23ac3778-7c99-4881-832a-c42e0d7136aa · outbound

This paper cites Wang et al.

Automated LTL Specification Generation from Industrial Aerospace Requirements Wang et al

Reference 43

Resolution: metadata mismatch; arxiv_id, observed 2026-05-10T03:14:07.830159Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

No inbound Pith citation observations are available.