Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T20:34:08.401993Z
Paper Citation Record · LEDGER
Verifying Device Drivers with Pancake
As of 19 August 2026, this Paper Citation Record lists 55 of 55 outbound references and 0 inbound Pith citation observations for arXiv:2501.08249.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-19T06:32:44.657259+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
55 of 55 outbound references displayed
- verified exact3
- verified fuzzy44
- unresolved8
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 1a0b7a85-38cf-4926-959f-a7591151eb2d · outbound
This paper cites Alkassar, M.
Verifying Device Drivers with Pancake Alkassar, M
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:10.387834Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 4251f462-191d-444e-ae9e-4fc805b2f6b9 · outbound
This paper cites OS Verification Extended -- On the Formal Verification of Device Drivers and the Correctness of Client/Server Software.
Verifying Device Drivers with Pancake OS Verification Extended -- On the Formal Verification of Device Drivers and the Correctness of Client/Server Software
Reference 2
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:10.359218Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 541a5751-2491-492c-a2a0-7062d4f07f66 · outbound
This paper cites Hillebrand.
Verifying Device Drivers with Pancake Hillebrand
Reference 3
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:10.333700Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 4658ab52-4e04-4370-a234-fa638325bd47 · outbound
This paper cites Cogent : Verifying high-assurance file system implementations.
Verifying Device Drivers with Pancake Cogent : Verifying high-assurance file system implementations
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:10.298442Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation fec3969d-a7b6-4b05-a7ed-e9ead843a982 · outbound
This paper cites an unresolved cited work.
Verifying Device Drivers with Pancake Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:34:10.253194Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation e9a9a3b1-34f4-4ce8-a2e8-24f74dd035d3 · outbound
This paper cites an unresolved cited work.
Verifying Device Drivers with Pancake Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:34:10.228808Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 1150631d-8eaa-4c20-8fc0-dc4f3b560406 · outbound
This paper cites The Prusti project: Formal verification for Rust.
Verifying Device Drivers with Pancake The Prusti project: Formal verification for Rust
Reference 7
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:10.197349Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 691d903b-644f-4526-aa6e-6ba39bb54879 · outbound
This paper cites Toward compositional verification of interruptible OS kernels and device drivers.
Verifying Device Drivers with Pancake Toward compositional verification of interruptible OS kernels and device drivers
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:10.169642Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 75a03477-9871-4d79-9262-163a51a8d95d · outbound
This paper cites Veld: Verified Linux drivers.
Verifying Device Drivers with Pancake Veld: Verified Linux drivers
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:10.137828Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation c2d61b78-76b1-4737-9f72-c11bf951120a · outbound
This paper cites Formal Verification of Device Drivers in Embedded Systems.
Verifying Device Drivers with Pancake Formal Verification of Device Drivers in Embedded Systems
Reference 10
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:10.098514Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation a43fa506-21d4-4e3f-ab5c-95d9518c2bb9 · outbound
This paper cites Correctness proofs for device drivers in embedded systems.
Verifying Device Drivers with Pancake Correctness proofs for device drivers in embedded systems
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:10.061764Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 1af9ae30-0aef-499c-b604-3d3e69ffb5b6 · outbound
This paper cites Is Rust used safely by software developers? In International Conference on Software Engineering, pages 246--257, 2020.
Verifying Device Drivers with Pancake Is Rust used safely by software developers? In International Conference on Software Engineering, pages 246--257, 2020
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:10.025023Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 3d278c5a-5ff3-497e-a653-90e33d54c990 · outbound
This paper cites Formal specification and verification of ARM6.
Verifying Device Drivers with Pancake Formal specification and verification of ARM6
Reference 13
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.989883Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation bce30269-c468-4e8b-864e-8356775c99e2 · outbound
This paper cites A trustworthy monadic formalization of the ARMv7 instruction set architecture.
Verifying Device Drivers with Pancake A trustworthy monadic formalization of the ARMv7 instruction set architecture
Reference 14
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.940180Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation bd5a349b-1860-4030-8bc8-28c92233ebf6 · outbound
This paper cites o ssi. A formal semantics for Viper . Master's thesis, Master thesis, ETH Z \.
Verifying Device Drivers with Pancake o ssi. A formal semantics for Viper . Master's thesis, Master thesis, ETH Z \
Reference 15
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.917594Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 3b1abbe0-1fcd-42d0-a3be-ca6f45d2d9e5 · outbound
This paper cites Deep specifications and certified abstraction layers.
Verifying Device Drivers with Pancake Deep specifications and certified abstraction layers
Reference 16
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.894638Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation c1b2d39c-d136-499e-8f52-897b61af9fa6 · outbound
This paper cites CertiKOS : An extensible architecture for building certified concurrent OS kernels.
Verifying Device Drivers with Pancake CertiKOS : An extensible architecture for building certified concurrent OS kernels
Reference 17
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.867884Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 7ead2b3c-cb81-49c0-b066-adff9465e501 · outbound
This paper cites Can we put the "S" into IoT ? In IEEE World Forum on Internet of Things, Yokohama, JP, November 2022.
Verifying Device Drivers with Pancake Can we put the "S" into IoT ? In IEEE World Forum on Internet of Things, Yokohama, JP, November 2022
Reference 18
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.837864Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 4d272261-e057-41a3-8a6a-bb00dfdd2d7e · outbound
This paper cites Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance.
Verifying Device Drivers with Pancake Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
Reference 19
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T20:34:08.784047Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 1a9e1622-1c6a-4c95-aa35-4a3d7e7f0019 · outbound
This paper cites A quick tour of the VeriFast program verifier.
Verifying Device Drivers with Pancake A quick tour of the VeriFast program verifier
Reference 20
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.809894Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 02d93559-67b2-4d08-95be-e51af0246403 · outbound
This paper cites Gregory Morrisett, Dan Grossman, Michael W.
Verifying Device Drivers with Pancake Gregory Morrisett, Dan Grossman, Michael W
Reference 21
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.775729Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation da3bf477-8ac4-47a5-a214-b5ce5df85224 · outbound
This paper cites an unresolved cited work.
Verifying Device Drivers with Pancake Unresolved cited work
Reference 22
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:34:09.745181Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 0fcfa594-3076-4c48-bd55-30cb748580d1 · outbound
This paper cites RustBelt : Securing the foundations of the Rust programming language.
Verifying Device Drivers with Pancake RustBelt : Securing the foundations of the Rust programming language
Reference 23
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.719513Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 73408f55-c78e-4b1d-b088-62ae7ee26683 · outbound
This paper cites An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing.
Verifying Device Drivers with Pancake An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing
Reference 24
- Resolution
- verified exact
- local_arxiv, observed 2026-08-10T20:34:08.739137Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 82c3e8e6-0c63-4644-be5c-1f04ea59c3a2 · outbound
This paper cites an unresolved cited work.
Verifying Device Drivers with Pancake Unresolved cited work
Reference 25
- Resolution
- unresolved
- raw_fallback, observed 2026-08-10T20:34:09.690542Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 43679889-7911-42ca-bade-c27486f6e485 · outbound
This paper cites Formal verification of a flash memory device driver -- an experience report.
Verifying Device Drivers with Pancake Formal verification of a flash memory device driver -- an experience report
Reference 26
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.653806Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 96d0b335-c4ac-45af-a5c8-50dfd6b9521a · outbound
This paper cites The Rust Programming Language.
Verifying Device Drivers with Pancake The Rust Programming Language
Reference 27
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.629340Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 33ed3a9d-82ee-4089-b05e-d385d2f3cfeb · outbound
This paper cites seL4 : Formal verification of an OS kernel.
Verifying Device Drivers with Pancake seL4 : Formal verification of an OS kernel
Reference 28
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.593968Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 83d5af19-a275-4fd4-9d68-73b634a08945 · outbound
This paper cites Comprehensive formal verification of an OS microkernel.
Verifying Device Drivers with Pancake Comprehensive formal verification of an OS microkernel
Reference 29
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.545301Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 38f9685e-5fa4-4c3a-9a36-e45998a8fe89 · outbound
This paper cites CakeML : A verified implementation of ML.
Verifying Device Drivers with Pancake CakeML : A verified implementation of ML
Reference 30
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.512128Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation adc421f9-7adb-4819-b9e3-8417eb56b180 · outbound
This paper cites Verus: Verifying Rust programs using linear ghost types.
Verifying Device Drivers with Pancake Verus: Verifying Rust programs using linear ghost types
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:34:08.129752Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9ebe0252-3e53-49b2-83c4-46cf3cf62e3a · outbound
This paper cites Formal verification of a realistic compiler.
Verifying Device Drivers with Pancake Formal verification of a realistic compiler
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:34:08.136831Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e2ddf925-d161-4e9b-97b7-1fab99ee9938 · outbound
This paper cites Linux linux kernel: Security vulnerabilities ( CVSS score 9), 2023.
Verifying Device Drivers with Pancake Linux linux kernel: Security vulnerabilities ( CVSS score 9), 2023
Reference 33
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.459509Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation d83df557-ea46-47ba-aba5-f5bf341b5e5f · outbound
This paper cites Formal verification of device driver monitors in HOL 4.
Verifying Device Drivers with Pancake Formal verification of device driver monitors in HOL 4
Reference 34
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.421210Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 524f8051-d8c8-4900-beac-1bf093c9b458 · outbound
This paper cites Viper: A verification infrastructure for permission-based reasoning.
Verifying Device Drivers with Pancake Viper: A verification infrastructure for permission-based reasoning
Reference 35
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.388248Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 92124572-e3b2-4943-b9d4-42c06b9c90e7 · outbound
This paper cites Automatic verification of iterated separating conjunctions using symbolic execution.
Verifying Device Drivers with Pancake Automatic verification of iterated separating conjunctions using symbolic execution
Reference 36
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.357989Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 4999f806-851a-4b15-ae27-5ae9c4bc31bb · outbound
This paper cites Type inference verified: Algorithm W in Isabelle/HOL.
Verifying Device Drivers with Pancake Type inference verified: Algorithm W in Isabelle/HOL
Reference 37
- Resolution
- verified exact
- doi, observed 2026-08-10T20:34:08.469030Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation f3534504-dcd5-4c1a-af5b-7ab590bd4d40 · outbound
This paper cites Isabelle/HOL --- A Proof Assistant for Higher-Order Logic , volume 2283 of Lecture Notes in Computer Science.
Verifying Device Drivers with Pancake Isabelle/HOL --- A Proof Assistant for Higher-Order Logic , volume 2283 of Lecture Notes in Computer Science
Reference 38
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.329866Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 0711d31c-e08e-4ff2-8131-b7051a070464 · outbound
This paper cites Functional big-step semantics.
Verifying Device Drivers with Pancake Functional big-step semantics
Reference 39
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.297420Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation bf35ced8-0702-493b-8d7b-99d6f0c83404 · outbound
This paper cites Towards trustworthy automated program verifiers: Formally validating translations into an intermediate verification language.
Verifying Device Drivers with Pancake Towards trustworthy automated program verifiers: Formally validating translations into an intermediate verification language
Reference 40
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.254766Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation e7278dd8-9094-4a5d-b91e-232e3b98adf3 · outbound
This paper cites First steps in verifying the seL4 Core Platform.
Verifying Device Drivers with Pancake First steps in verifying the seL4 Core Platform
Reference 41
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.223417Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation e3493459-a2e8-4de3-a403-a3265b49e308 · outbound
This paper cites Sound formal verification of Linux's USB BP keyboard driver.
Verifying Device Drivers with Pancake Sound formal verification of Linux's USB BP keyboard driver
Reference 42
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.194425Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 6067c366-64b0-40e3-9b56-f4018375aec4 · outbound
This paper cites Dingo: Taming device drivers.
Verifying Device Drivers with Pancake Dingo: Taming device drivers
Reference 43
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.144303Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 26fb6c6f-8052-4612-a829-92b7107a8450 · outbound
This paper cites Automatic device driver synthesis with Termite.
Verifying Device Drivers with Pancake Automatic device driver synthesis with Termite
Reference 44
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.111908Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 67f8c677-ad56-44c6-b99a-ad507349ce8d · outbound
This paper cites The case for active device drivers.
Verifying Device Drivers with Pancake The case for active device drivers
Reference 45
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.084160Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation cd174539-6490-4aad-99b4-7242dc273d73 · outbound
This paper cites User-guided device driver synthesis.
Verifying Device Drivers with Pancake User-guided device driver synthesis
Reference 46
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.050007Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation b7cbf5e6-2eaa-439c-9fdf-03f0e4371f8e · outbound
This paper cites Formal verification of secure user mode device execution with DMA.
Verifying Device Drivers with Pancake Formal verification of secure user mode device execution with DMA
Reference 47
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:09.028081Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation c487d708-1cee-4e5b-81e3-328c6cbed987 · outbound
This paper cites Advancing automated, permission-based program verification using symbolic execution.
Verifying Device Drivers with Pancake Advancing automated, permission-based program verification using symbolic execution
Reference 48
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:08.995241Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 258d597f-8c81-4ceb-874b-8b285fd9af74 · outbound
This paper cites Translation validation for a verified OS kernel.
Verifying Device Drivers with Pancake Translation validation for a verified OS kernel
Reference 49
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:08.963617Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation 18767234-b880-4fc6-a271-d8a167faa51c · outbound
This paper cites A brief overview of HOL4.
Verifying Device Drivers with Pancake A brief overview of HOL4
Reference 50
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:08.926362Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation e92a66d2-0e7b-4f5f-8f49-25aa0701efaf · outbound
This paper cites The verified CakeML compiler backend.
Verifying Device Drivers with Pancake The verified CakeML compiler backend
Reference 51
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:08.886694Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation a681916f-8567-485a-8ea0-539b116ee40a · outbound
This paper cites Krust: A formal executable semantics of rust.
Verifying Device Drivers with Pancake Krust: A formal executable semantics of rust
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:34:08.360523Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1582e5bd-2e0e-400f-ba46-6a1ec42f2add · outbound
This paper cites Oxide: The Essence of Rust.
Verifying Device Drivers with Pancake Oxide: The Essence of Rust
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-10T20:34:08.380059Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a4612bbc-e463-4b84-8fe6-445dae4b54b2 · outbound
This paper cites Gobra: Modular specification and verification of Go programs.
Verifying Device Drivers with Pancake Gobra: Modular specification and verification of Go programs
Reference 54
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:08.854081Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Observation bf48456b-760d-47dd-ace9-b72e5a810516 · outbound
This paper cites Pierce, and Steve Zdancewic.
Verifying Device Drivers with Pancake Pierce, and Steve Zdancewic
Reference 55
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-10T20:34:08.813963Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-19T06:32:44.657259+00:00.
Pith citing papers
No inbound Pith citation observations are available.