Specula: Scaling formal specifications for autonomous model checking of system code | Paper Citation Record

Observation 6ab88f70-7e9e-433f-b368-462cc7675188 · outbound

This paper cites https: //jira.mongodb.org/browse/SERVER-85701.

Specula: Scaling formal specifications for autonomous model checking of system code https: //jira.mongodb.org/browse/SERVER-85701

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.660043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f08c7b7-755a-4ff0-b55a-9cb00d8cb13c · outbound

This paper cites https://github.com/ tlaplus/tlaplus/issues/677, Oct.

Specula: Scaling formal specifications for autonomous model checking of system code https://github.com/ tlaplus/tlaplus/issues/677, Oct

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.664778Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb2b4d20-af9b-4701-9884-472d9fedbc17 · outbound

This paper cites DafnyPro: LLM- Assisted Automated Verification for Dafny Programs.

Specula: Scaling formal specifications for autonomous model checking of system code DafnyPro: LLM- Assisted Automated Verification for Dafny Programs

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.668712Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 67463afb-8034-423a-a73d-c003bde1408a · outbound

This paper cites Using lightweight formal methods to validate a key-value storage node in amazon s3.

Specula: Scaling formal specifications for autonomous model checking of system code Using lightweight formal methods to validate a key-value storage node in amazon s3

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.672978Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3774e5e9-1ddc-4803-b9a9-8f9a9735908c · outbound

This paper cites T., and Pradel, M.

Specula: Scaling formal specifications for autonomous model checking of system code T., and Pradel, M

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.676853Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3ba1cf6b-62a1-4e80-8ef7-52c90abf1643 · outbound

This paper cites Fifteen Years of Formal Methods at AWS.

Specula: Scaling formal specifications for autonomous model checking of system code Fifteen Years of Formal Methods at AWS

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.680803Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a534e88c-c1c0-4844-b3ea-305f6e43d950 · outbound

This paper cites From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Require- ments to Verifiable Formal Proofs.

Specula: Scaling formal specifications for autonomous model checking of system code From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Require- ments to Verifiable Formal Proofs

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.684956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2d2943b4-482b-4a83-9280-db7383a15872 · outbound

This paper cites an unresolved cited work.

Specula: Scaling formal specifications for autonomous model checking of system code Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.689265Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2327990c-487b-4096-8ec3-383bd3af3898 · outbound

This paper cites Evaluating Large Language Models Trained on Code.

Specula: Scaling formal specifications for autonomous model checking of system code Evaluating Large Language Models Trained on Code

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.693148Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 71342d66-13cd-4ecc-9b65-bc85a597bdcf · outbound

This paper cites Teaching Large Lan- guage Models to Self-Debug.

Specula: Scaling formal specifications for autonomous model checking of system code Teaching Large Lan- guage Models to Self-Debug

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.697464Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 110c6197-83cd-4f9c-bc1d-a93b10261418 · outbound

This paper cites an unresolved cited work.

Specula: Scaling formal specifications for autonomous model checking of system code Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.701318Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 11c19e03-dbd5-41c5-9be3-ca0680906924 · outbound

This paper cites SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems.

Specula: Scaling formal specifications for autonomous model checking of system code SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.705337Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9a684705-436e-4068-9e7e-79748106fff3 · outbound

This paper cites A., Loillier, B., and Merz, S.Validating Traces of Distributed Programs against TLA+ Specifications.

Specula: Scaling formal specifications for autonomous model checking of system code A., Loillier, B., and Merz, S.Validating Traces of Distributed Programs against TLA+ Specifications

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.709223Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 447be71d-6a64-49ef-a5ed-dc94e2ee33d2 · outbound

This paper cites M., and Emerson, E.

Specula: Scaling formal specifications for autonomous model checking of system code M., and Emerson, E

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.712863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0308ed76-47d7-456f-a37d-dd3575b72233 · outbound

This paper cites nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.

Specula: Scaling formal specifications for autonomous model checking of system code nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.716550Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9ffcbe0-bfef-4d6d-badd-f507171e5f9a · outbound

This paper cites an unresolved cited work.

Specula: Scaling formal specifications for autonomous model checking of system code Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.720249Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41c280b1-6e27-4b46-bd61-262aee08a7b2 · outbound

This paper cites FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning.

Specula: Scaling formal specifications for autonomous model checking of system code FM-Agent: Scaling Formal Methods to Large Systems via LLM-Based Hoare-Style Reasoning

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.723962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2b0ce6e-0d57-4d18-bc61-699f754bfac3 · outbound

This paper cites In Proceedings of the 40th International Conference on Machine Learning (ICML’23) (July 2023).

Specula: Scaling formal specifications for autonomous model checking of system code In Proceedings of the 40th International Conference on Machine Learning (ICML’23) (July 2023)

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.727933Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be15acfc-2cda-4a25-af12-68f766b6baaa · outbound

This paper cites Autobahn: Seamless high speed bft.

Specula: Scaling formal specifications for autonomous model checking of system code Autobahn: Seamless high speed bft

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.731505Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 671f131b-eae5-4c24-9132-1f3e3434d831 · outbound

This paper cites Com- positional Model Checking of Consensus Protocols via Interaction- Preserving Abstraction.

Specula: Scaling formal specifications for autonomous model checking of system code Com- positional Model Checking of Consensus Protocols via Interaction- Preserving Abstraction

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.735541Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fbca4340-b280-4e9d-9812-a546f0e0e369 · outbound

This paper cites In Pro- ceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP’11) (Oct.

Specula: Scaling formal specifications for autonomous model checking of system code In Pro- ceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP’11) (Oct

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.739314Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c470304e-569d-4e4b-924a-cd5b38cc83c2 · outbound

This paper cites Tracelinking implementations with their verified designs.

Specula: Scaling formal specifications for autonomous model checking of system code Tracelinking implementations with their verified designs

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.743176Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 257be1f9-2ad5-4474-9241-198ffa0b3885 · outbound

This paper cites an unresolved cited work.

Specula: Scaling formal specifications for autonomous model checking of system code Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.747161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2cee766-e9a3-47d2-9c57-dc78ea50bb1c · outbound

This paper cites an unresolved cited work.

Specula: Scaling formal specifications for autonomous model checking of system code Unresolved cited work

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.750801Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e50a1b1-9917-4636-94ec-6c4b47a89c89 · outbound

This paper cites A., Ashton, E., Chamayou, A., and Crooks, N.

Specula: Scaling formal specifications for autonomous model checking of system code A., Ashton, E., Chamayou, A., and Crooks, N

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.754461Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 62f7f7d4-815d-45a1-9683-749a60f8a48a · outbound

This paper cites RULER: What’s the Real Context Size of Your Long-Context Language Models? In Proceedings of the 1st Conference on Language Modeling (COLM’24) (Oct.

Specula: Scaling formal specifications for autonomous model checking of system code RULER: What’s the Real Context Size of Your Long-Context Language Models? In Proceedings of the 1st Conference on Language Modeling (COLM’24) (Oct

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.758086Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 080ebeae-f77c-4080-b659-3fd837983776 · outbound

This paper cites Survey of Hallucination in Natural Lan- guage Generation.

Specula: Scaling formal specifications for autonomous model checking of system code Survey of Hallucination in Natural Lan- guage Generation

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.761835Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 206b0f93-6781-4b4e-bcd8-fcad72569c1d · outbound

This paper cites TLA+ Model Checking Made Symbolic.

Specula: Scaling formal specifications for autonomous model checking of system code TLA+ Model Checking Made Symbolic

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.765609Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f48d3f3d-bcdc-4780-b1db-5b9068321402 · outbound

This paper cites A., and Kulagin, D.

Specula: Scaling formal specifications for autonomous model checking of system code A., and Kulagin, D

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.769137Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae2ffab4-bfc2-47c8-8f45-285f641dff9f · outbound

This paper cites A., Lamport, L., and Ricketts, D.

Specula: Scaling formal specifications for autonomous model checking of system code A., Lamport, L., and Ricketts, D

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.772783Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3bfcc147-a26d-48be-b455-abc173882990 · outbound

This paper cites F., and Gu- nawi, H.

Specula: Scaling formal specifications for autonomous model checking of system code F., and Gu- nawi, H

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.776385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1aeb522c-4972-4bcb-8b15-44700f667870 · outbound

This paper cites Feedback-guided Adaptive Testing of Distributed Systems Designs.

Specula: Scaling formal specifications for autonomous model checking of system code Feedback-guided Adaptive Testing of Distributed Systems Designs

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.780182Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c413930d-6750-4898-b5eb-a72ef07f5835 · outbound

This paper cites https://arxiv.org/abs/2601.14027, 2026.

Specula: Scaling formal specifications for autonomous model checking of system code https://arxiv.org/abs/2601.14027, 2026

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.784035Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aab7f42f-e889-4e94-a1f9-70df884b4384 · outbound

This paper cites F., Lin, K., Hewitt, J., Paranjape, A., Bevilacqa, M., Petroni, F., and Liang, P.

Specula: Scaling formal specifications for autonomous model checking of system code F., Lin, K., Hewitt, J., Paranjape, A., Bevilacqa, M., Petroni, F., and Liang, P

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.787876Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 781eaad3-55e2-4fcb-8fbf-2da2d0b8bb6e · outbound

This paper cites KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code.

Specula: Scaling formal specifications for autonomous model checking of system code KVerus: Scalable and Resilient Formal Verification Proof Generation for Rust Code

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.791491Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a1d5aea-9164-482c-b00b-3f3f196238e7 · outbound

This paper cites F., Ke, H., Stuardo, C.

Specula: Scaling formal specifications for autonomous model checking of system code F., Ke, H., Stuardo, C

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.795661Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5e5b50a5-5e88-404d-b9ce-b6fbb6719479 · outbound

This paper cites SpecGen: Automated Genera- tion of Formal Program Specifications via Large Language Models.

Specula: Scaling formal specifications for autonomous model checking of system code SpecGen: Automated Genera- tion of Formal Program Specifications via Large Language Models

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.799335Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47f0a85a-b25b-4e2b-b7ba-440ecf0809ca · outbound

This paper cites Debug adapter protocol, 2026.

Specula: Scaling formal specifications for autonomous model checking of system code Debug adapter protocol, 2026

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.803059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 21b7c4b4-bf7c-48b3-812c-d9da531d7b8e · outbound

This paper cites How Amazon Web Services Uses Formal Methods.

Specula: Scaling formal specifications for autonomous model checking of system code How Amazon Web Services Uses Formal Methods

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.806588Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e25ff03d-64c0-4fc1-9d1a-b38950950ce1 · outbound

This paper cites AlphaEvolve: A coding agent for scientific and algorithmic discovery.

Specula: Scaling formal specifications for autonomous model checking of system code AlphaEvolve: A coding agent for scientific and algorithmic discovery

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.810624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d565acee-afa1-4484-b6d0-d700e28f3101 · outbound

This paper cites In Search of an Understandable Consensus Algorithm.

Specula: Scaling formal specifications for autonomous model checking of system code In Search of an Understandable Consensus Algorithm

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.814822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9058cf6a-7560-4105-9ed7-d15fbb44869c · outbound

This paper cites Multi-Grained Specifications for Distributed System Model Checking and Verification.

Specula: Scaling formal specifications for autonomous model checking of system code Multi-Grained Specifications for Distributed System Model Checking and Verification

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.818483Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0194bce4-cd49-4e33-b1aa-edf6b757cc36 · outbound

This paper cites The Effects of Reward Mis- specification: Mapping and Mitigating Misaligned Models.

Specula: Scaling formal specifications for autonomous model checking of system code The Effects of Reward Mis- specification: Mapping and Mitigating Misaligned Models

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.822183Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6dd9cafb-2e63-42a2-bb89-3281c1c5b53c · outbound

This paper cites Verifying Software Traces Against a Formal Specification with TLA+ and TLC.

Specula: Scaling formal specifications for autonomous model checking of system code Verifying Software Traces Against a Formal Specification with TLA+ and TLC

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.826217Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 00a73713-3391-47e9-a0ad-fbd82132ffb9 · outbound

This paper cites OpenEvolve: An open-source implementation of AlphaE- volve.

Specula: Scaling formal specifications for autonomous model checking of system code OpenEvolve: An open-source implementation of AlphaE- volve

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.829834Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c837fbba-f2f3-44d2-af6b-7da95f9fc799 · outbound

This paper cites Agentic Model Checking.

Specula: Scaling formal specifications for autonomous model checking of system code Agentic Model Checking

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.833612Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 710855ea-24c5-483a-a309-1094e245d71c · outbound

This paper cites SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration.

Specula: Scaling formal specifications for autonomous model checking of system code SandTable: Scalable Distributed System Model Checking with Specification-Level State Exploration

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.837726Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2562acd2-35f4-4827-abb0-aaa14cb76167 · outbound

This paper cites In Proceedings of the 2025 USENIX Annual Technical Conference (USENIX ATC’25) (July 2025).

Specula: Scaling formal specifications for autonomous model checking of system code In Proceedings of the 2025 USENIX Annual Technical Conference (USENIX ATC’25) (July 2025)

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.841485Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 74e45547-9fa2-4b31-aee2-3820f0cfc2e8 · outbound

This paper cites Using a Formal Specification and a Model Checker to Monitor and Direct Simulation.

Specula: Scaling formal specifications for autonomous model checking of system code Using a Formal Specification and a Model Checker to Monitor and Direct Simulation

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.845297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 116f0acd-515a-447a-855a-a746429316a9 · outbound

This paper cites Agentic Verification of Software Systems.

Specula: Scaling formal specifications for autonomous model checking of system code Agentic Verification of Software Systems

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.849409Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da5546b2-5f87-46b7-8edc-5763a0914524 · outbound

This paper cites Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair.

Specula: Scaling formal specifications for autonomous model checking of system code Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.853199Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 423c8bbf-0a4f-4c14-99b7-2af65dc1e015 · outbound

This paper cites Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification.

Specula: Scaling formal specifications for autonomous model checking of system code Enchanting Program Specification Synthesis by Large Language Models Using Static Analysis and Program Verification

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.857694Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6887cd9f-f298-409d-bb41-e737e376b602 · outbound

This paper cites S., Wei, Y., and Zhang, L.

Specula: Scaling formal specifications for autonomous model checking of system code S., Wei, Y., and Zhang, L

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.861377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1516a877-0787-4016-a15c-aaa7bae06c31 · outbound

This paper cites Hallucination is Inevitable: An Innate Limitation of Large Language Models.

Specula: Scaling formal specifications for autonomous model checking of system code Hallucination is Inevitable: An Innate Limitation of Large Language Models

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.864996Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 806760f0-ca73-4ac9-a708-f8a41809a02d · outbound

This paper cites an unresolved cited work.

Specula: Scaling formal specifications for autonomous model checking of system code Unresolved cited work

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.868807Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 69399ca5-9064-4c38-9e9d-13f8835426b2 · outbound

This paper cites Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications.

Specula: Scaling formal specifications for autonomous model checking of system code Integrating Symbolic Execution with LLMs for Automated Generation of Program Specifications

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.872412Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bcf182f0-82d1-4689-be2b-5433ac85e424 · outbound

This paper cites MODIST: Transparent Model Checking of Unmodified Distributed Systems.

Specula: Scaling formal specifications for autonomous model checking of system code MODIST: Transparent Model Checking of Unmodified Distributed Systems

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.876134Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation dc27396e-6191-4e9f-ae90-d9f09459ffd9 · outbound

This paper cites E., Wettig, A., Lieret, K., Y ao, S., Narasimhan, K., and Press, O.

Specula: Scaling formal specifications for autonomous model checking of system code E., Wettig, A., Lieret, K., Y ao, S., Narasimhan, K., and Press, O

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-04T03:32:08.879970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 088ecdde-c111-41f4-9860-c338e1cb2464 · outbound

This paper cites Model Checking TLA+ Speci- fications.

Specula: Scaling formal specifications for autonomous model checking of system code Model Checking TLA+ Speci- fications

Reference 59

Resolution: malformed identifier; no resolver link, observed 2026-08-04T03:32:08.883502Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers