Caesar: A Deductive Verifier for Probabilistic Programs | Paper Citation Record

Observation d2500de4-12d4-4d59-95a0-eb79d64c63a0 · outbound

This paper cites In: Silva, A., Leino, K.R.M.

Caesar: A Deductive Verifier for Probabilistic Programs In: Silva, A., Leino, K.R.M

Reference 1

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.163589Z

Source-reported events for the cited work

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

Observation e28e4969-a630-49ea-b892-e7a8b45f0931 · outbound

This paper cites ACM Trans.

Caesar: A Deductive Verifier for Probabilistic Programs ACM Trans

Reference 2

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.147314Z

Source-reported events for the cited work

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

Observation 2acac6ec-574f-4bf5-98a3-43414e1968ca · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 3

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.106625Z

Source-reported events for the cited work

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

Observation 330c68d1-0271-405b-9fe2-3b36ce66e8b7 · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 4

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.097403Z

Source-reported events for the cited work

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

Observation d4063512-af59-4ab4-bef6-b47e4d3665f0 · outbound

This paper cites (eds.): Deductive Software Verification - The KeY Book - From Theory to Practice.

Caesar: A Deductive Verifier for Probabilistic Programs (eds.): Deductive Software Verification - The KeY Book - From Theory to Practice

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.692379Z

Source-reported events for the cited work

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

Observation ad6cca52-ccfd-4eb7-89f7-c3a2484c72b0 · outbound

This paper cites In: Singh, G., Urban, C.

Caesar: A Deductive Verifier for Probabilistic Programs In: Singh, G., Urban, C

Reference 6

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.142564Z

Source-reported events for the cited work

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

Observation 85fa717a-5e51-49f2-a6aa-caa357f82e46 · outbound

This paper cites In: Silva, A., Leino, K.R.M.

Caesar: A Deductive Verifier for Probabilistic Programs In: Silva, A., Leino, K.R.M

Reference 7

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.068850Z

Source-reported events for the cited work

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

Observation b6a604de-ddea-4bdd-8b35-03275d7f4a97 · outbound

This paper cites In: Object-Oriented Programming Sys- tems, Languages, and Applications (OOPSLA), 147:1–147:30.

Caesar: A Deductive Verifier for Probabilistic Programs In: Object-Oriented Programming Sys- tems, Languages, and Applications (OOPSLA), 147:1–147:30

Reference 8

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.176012Z

Source-reported events for the cited work

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

Observation 43755f13-9360-432e-8922-fdbdee05410e · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 9

Resolution: malformed identifier; raw_fallback, observed 2026-05-19T18:17:43.702579Z

Source-reported events for the cited work

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

Observation 390531c7-52b4-42a7-aed6-77bbe94647a1 · outbound

This paper cites A modular cost analysis for probabilistic programs.Proc.

Caesar: A Deductive Verifier for Probabilistic Programs A modular cost analysis for probabilistic programs.Proc

Reference 10

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.052664Z

Source-reported events for the cited work

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

Observation d923ddfe-9725-42e8-b639-2fa6e99a9624 · outbound

This paper cites Automated expected value analysis of recursive programs.

Caesar: A Deductive Verifier for Probabilistic Programs Automated expected value analysis of recursive programs

Reference 11

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.050310Z

Source-reported events for the cited work

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

Observation 796405d4-0853-4c98-ba8d-6c5241b3ba7d · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-05-19T18:17:43.699585Z

Source-reported events for the cited work

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

Observation 6fcef476-e144-4286-9f03-57a541fb1533 · outbound

This paper cites In: Chaudhuri, S., Farzan, A.

Caesar: A Deductive Verifier for Probabilistic Programs In: Chaudhuri, S., Farzan, A

Reference 14

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.045416Z

Source-reported events for the cited work

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

Observation 3a2c8c3a-a840-4724-b131-045b9a5ff382 · outbound

This paper cites In: TACAS (2).

Caesar: A Deductive Verifier for Probabilistic Programs In: TACAS (2)

Reference 16

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.182652Z

Source-reported events for the cited work

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

Observation 499c9df8-cfe9-43f9-a5db-81f55ec6fdaf · outbound

This paper cites In: CAV (2).

Caesar: A Deductive Verifier for Probabilistic Programs In: CAV (2)

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.744537Z

Source-reported events for the cited work

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

Observation 61a4fd47-4d75-4b4c-8cdd-f4139790ffa9 · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 19

Resolution: malformed identifier; doi_truncated, observed 2026-05-19T18:17:43.122615Z

Source-reported events for the cited work

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

Observation 7d438124-73e6-4b63-84d3-d32d43ae8920 · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 20

Resolution: malformed identifier; raw_fallback, observed 2026-05-19T18:17:43.741041Z

Source-reported events for the cited work

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

Observation cb1f5d32-f089-4667-886c-363284399816 · outbound

This paper cites Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back , journal =.

Caesar: A Deductive Verifier for Probabilistic Programs Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back , journal =

Reference 21

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.159497Z

Source-reported events for the cited work

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

Observation d9cfead4-4927-4da6-ba22-6266d55636ba · outbound

This paper cites MA thesis, RWTH Aachen University, Aachen (2025).https://doi.org/ 10.18154/RWTH-2025-07050.https://publications.rwth-aachen.de/record/ 1016969.

Caesar: A Deductive Verifier for Probabilistic Programs MA thesis, RWTH Aachen University, Aachen (2025).https://doi.org/ 10.18154/RWTH-2025-07050.https://publications.rwth-aachen.de/record/ 1016969

Reference 22

Resolution: malformed identifier; doi_truncated, observed 2026-05-19T18:17:43.154198Z

Source-reported events for the cited work

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

Observation eed04b4f-e976-4342-8492-5141754a1370 · outbound

This paper cites TheoretiCS4(2025).https://doi.org/10.46298/ THEORETICS.25.10.

Caesar: A Deductive Verifier for Probabilistic Programs TheoretiCS4(2025).https://doi.org/10.46298/ THEORETICS.25.10

Reference 23

Resolution: malformed identifier; raw_fallback, observed 2026-05-19T18:17:43.737956Z

Source-reported events for the cited work

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

Observation 0eeb30d2-5812-44d9-acfc-e08996cd6c7f · outbound

This paper cites In: Legay, A., Margaria, T.

Caesar: A Deductive Verifier for Probabilistic Programs In: Legay, A., Margaria, T

Reference 24

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.137475Z

Source-reported events for the cited work

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

Observation dab26899-aad9-43dc-b378-6b398dadc391 · outbound

This paper cites In: Sharygina, N., Veith, H.

Caesar: A Deductive Verifier for Probabilistic Programs In: Sharygina, N., Veith, H

Reference 25

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.132415Z

Source-reported events for the cited work

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

Observation b9eb1f5e-949b-4808-bf5e-e9ba35b6fbc8 · outbound

This paper cites In: Kroening, D., Pasare- anu, C.S.

Caesar: A Deductive Verifier for Probabilistic Programs In: Kroening, D., Pasare- anu, C.S

Reference 26

Resolution: malformed identifier; raw_fallback, observed 2026-05-19T18:17:43.729199Z

Source-reported events for the cited work

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

Observation 52957fe2-31fd-4609-9d6b-3d25db57c871 · outbound

This paper cites (ed.) Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS ’97, Enschede, The Netherlands, April 2-4, 1997, Proceedings.

Caesar: A Deductive Verifier for Probabilistic Programs (ed.) Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS ’97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

Reference 27

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.117801Z

Source-reported events for the cited work

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

Observation 514de96c-f85e-4b92-a552-522f17fc71a3 · outbound

This paper cites Z3: An Efficient SMT Solver.

Caesar: A Deductive Verifier for Probabilistic Programs Z3: An Efficient SMT Solver

Reference 28

Resolution: metadata mismatch; doi, observed 2026-05-19T18:17:43.112048Z

Source-reported events for the cited work

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

Observation a18f5f7a-4028-46cd-8a9e-6288863bb979 · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 29

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.170275Z

Source-reported events for the cited work

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

Observation 58c3dbbc-bc89-470c-93d5-8b84070f82a2 · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 30

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.099928Z

Source-reported events for the cited work

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

Observation ab74772c-5296-4ee5-aa4e-21a7bf5b8356 · outbound

This paper cites N., Abdrasheva, G.

Caesar: A Deductive Verifier for Probabilistic Programs N., Abdrasheva, G

Reference 31

Resolution: malformed identifier; doi_truncated, observed 2026-05-19T18:17:43.094679Z

Source-reported events for the cited work

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

Observation 8f94f507-cf94-4bd9-a2a3-219ac6813044 · outbound

This paper cites In: ESOP.

Caesar: A Deductive Verifier for Probabilistic Programs In: ESOP

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.723417Z

Source-reported events for the cited work

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

Observation 2004673c-843f-4f8f-8e3e-fcf457716f1b · outbound

This paper cites In: Rajamani, S.K., Walker, D.

Caesar: A Deductive Verifier for Probabilistic Programs In: Rajamani, S.K., Walker, D

Reference 33

Resolution: verified exact; arxiv_id, observed 2026-05-19T18:17:43.085015Z

Source-reported events for the cited work

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

Observation 0b73fb3c-49dd-4e7b-92aa-d94b3a655239 · outbound

This paper cites In: Chaudhuri, S., Farzan, A.

Caesar: A Deductive Verifier for Probabilistic Programs In: Chaudhuri, S., Farzan, A

Reference 34

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.076386Z

Source-reported events for the cited work

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

Observation 8c3e25a5-66f2-41cd-b3c6-1573f9e3f673 · outbound

This paper cites In: Krebbers, R.

Caesar: A Deductive Verifier for Probabilistic Programs In: Krebbers, R

Reference 35

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.071194Z

Source-reported events for the cited work

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

Observation f66bddca-66c4-435c-b76b-59292096ff62 · outbound

This paper cites In: Edsger Wybe Dijkstra: His Life, Work, and Legacy.

Caesar: A Deductive Verifier for Probabilistic Programs In: Edsger Wybe Dijkstra: His Life, Work, and Legacy

Reference 36

Resolution: verified exact; arxiv_id, observed 2026-05-19T18:17:43.066748Z

Source-reported events for the cited work

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

Observation 364607a8-6b16-45e5-8b0f-2a901f0979b2 · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 37

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.062906Z

Source-reported events for the cited work

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

Observation 25676bec-83dc-41fc-ab58-bbe31e99711a · outbound

This paper cites International Journal on Software Tools for Technology Transfer24(4), 589–610 (Aug 2022).

Caesar: A Deductive Verifier for Probabilistic Programs International Journal on Software Tools for Technology Transfer24(4), 589–610 (Aug 2022)

Reference 38

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.165811Z

Source-reported events for the cited work

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

Observation 93cd2c11-3a5c-4f23-a401-8d47ae680251 · outbound

This paper cites In: Blanchette, J.C., Merz, S.

Caesar: A Deductive Verifier for Probabilistic Programs In: Blanchette, J.C., Merz, S

Reference 39

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.060634Z

Source-reported events for the cited work

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

Observation 50a6ae5d-f228-4c77-9184-e4dbffdc0a91 · outbound

This paper cites In: Hou, Z., Ganesh, V.

Caesar: A Deductive Verifier for Probabilistic Programs In: Hou, Z., Ganesh, V

Reference 40

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.057534Z

Source-reported events for the cited work

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

Observation a9c8d2ff-1c91-4878-8663-e2e6c70f9d82 · outbound

This paper cites Theoretical Computer Science346(1), 96–112 (2005).https://doi.org/ 10.1016/j.tcs.2005.08.005.

Caesar: A Deductive Verifier for Probabilistic Programs Theoretical Computer Science346(1), 96–112 (2005).https://doi.org/ 10.1016/j.tcs.2005.08.005

Reference 41

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.055269Z

Source-reported events for the cited work

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

Observation 3e48d698-6644-4dab-bf12-3468a346e23b · outbound

This paper cites Thesis, University of Twente, Enschede (2025).https : / / purl.

Caesar: A Deductive Verifier for Probabilistic Programs Thesis, University of Twente, Enschede (2025).https : / / purl

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.695907Z

Source-reported events for the cited work

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

Observation 8b4e9835-348e-4f8d-b01e-fee28f9f719d · outbound

This paper cites PhD thesis, University of Edinburgh, UK (1990).https://hdl.handle.net/1842/413.

Caesar: A Deductive Verifier for Probabilistic Programs PhD thesis, University of Edinburgh, UK (1990).https://hdl.handle.net/1842/413

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.688555Z

Source-reported events for the cited work

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

Observation 0dff0d41-ba26-47cf-ac0a-99a99446aa00 · outbound

This paper cites PhD thesis, RWTH Aachen University (2019).https : / / doi.

Caesar: A Deductive Verifier for Probabilistic Programs PhD thesis, RWTH Aachen University (2019).https : / / doi

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.681647Z

Source-reported events for the cited work

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

Observation 75369e34-e6f9-451a-a64f-9dbf2d6fa66b · outbound

This paper cites Acta Informatica56(3), 255–285 (2019).https://doi.org/10.1007/ S00236-018-0321-1.

Caesar: A Deductive Verifier for Probabilistic Programs Acta Informatica56(3), 255–285 (2019).https://doi.org/10.1007/ S00236-018-0321-1

Reference 45

Resolution: malformed identifier; raw_fallback, observed 2026-05-19T18:17:43.677959Z

Source-reported events for the cited work

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

Observation c282a427-0bb2-47a4-a7cb-6012f06d3021 · outbound

This paper cites In: Thiemann, P.

Caesar: A Deductive Verifier for Probabilistic Programs In: Thiemann, P

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.685024Z

Source-reported events for the cited work

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

Observation 0dc86884-022f-4d41-b0f3-a819163655ff · outbound

This paper cites Weakestpreconditionreasoningforexpectedrun-timesofprobabilisticprograms.

Caesar: A Deductive Verifier for Probabilistic Programs Weakestpreconditionreasoningforexpectedrun-timesofprobabilisticprograms

Reference 47

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.048083Z

Source-reported events for the cited work

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

Observation d63b0a6d-c870-4c21-85b7-0e06c09ef69f · outbound

This paper cites In: Piskac, R., Rakamaric, Z.

Caesar: A Deductive Verifier for Probabilistic Programs In: Piskac, R., Rakamaric, Z

Reference 49

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.180211Z

Source-reported events for the cited work

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

Observation cfaa64eb-d106-4afe-940a-12d0e2fd0d3d · outbound

This paper cites Formal Aspects of Computing27(3), 573–609 (2015).

Caesar: A Deductive Verifier for Probabilistic Programs Formal Aspects of Computing27(3), 573–609 (2015)

Reference 50

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.178238Z

Source-reported events for the cited work

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

Observation 9f8b4e78-1d47-42df-a73a-1b114fef52db · outbound

This paper cites In: STOC, pp.

Caesar: A Deductive Verifier for Probabilistic Programs In: STOC, pp

Reference 51

Resolution: verified exact; arxiv_id, observed 2026-05-19T18:17:43.173749Z

Source-reported events for the cited work

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

Observation 10d0663c-56ea-4e65-8ffa-b4976c2313a2 · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 52

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.167992Z

Source-reported events for the cited work

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

Observation 18c78664-7bd8-4d82-a9ab-d246b3df4f9f · outbound

This paper cites In: Hutchinson, N.C.

Caesar: A Deductive Verifier for Probabilistic Programs In: Hutchinson, N.C

Reference 53

Resolution: metadata mismatch; arxiv_id, observed 2026-05-19T18:17:43.271533Z

Source-reported events for the cited work

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

Observation 48185d7b-d105-466a-9b35-ccf0cf044bf2 · outbound

This paper cites In: Gopalakrishnan, G., Qadeer, S.

Caesar: A Deductive Verifier for Probabilistic Programs In: Gopalakrishnan, G., Qadeer, S

Reference 54

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.161622Z

Source-reported events for the cited work

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

Observation ee908319-223b-4998-9860-81485cdd0a2a · outbound

This paper cites In: Clarke, E.M., Voronkov, A.

Caesar: A Deductive Verifier for Probabilistic Programs In: Clarke, E.M., Voronkov, A

Reference 55

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.157267Z

Source-reported events for the cited work

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

Observation 78c3003e-f037-4b6a-b694-8875641f9f77 · outbound

This paper cites microsoft.

Caesar: A Deductive Verifier for Probabilistic Programs microsoft

Reference 56

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.735001Z

Source-reported events for the cited work

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

Observation 7edc1b37-c8c4-426d-849c-667902984c4a · outbound

This paper cites In: CAV (2).

Caesar: A Deductive Verifier for Probabilistic Programs In: CAV (2)

Reference 57

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.152172Z

Source-reported events for the cited work

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

Observation 8c579ca1-c511-4333-9818-9a5e215e96cc · outbound

This paper cites In: Gomes, C.P., Sellmann, M.

Caesar: A Deductive Verifier for Probabilistic Programs In: Gomes, C.P., Sellmann, M

Reference 58

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.150099Z

Source-reported events for the cited work

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

Observation 73453ea9-0f7c-40ee-b08a-917fcf851a44 · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 59

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.145159Z

Source-reported events for the cited work

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

Observation bf7d2daf-8317-4b64-a90f-79293b3274d1 · outbound

This paper cites In: Steffen, B.

Caesar: A Deductive Verifier for Probabilistic Programs In: Steffen, B

Reference 60

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.140407Z

Source-reported events for the cited work

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

Observation c4e28e7d-eda9-4cdb-90e9-52715242d32c · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 61

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.135192Z

Source-reported events for the cited work

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

Observation f3621d85-3d0d-4ffa-ac5d-03ced0023ceb · outbound

This paper cites Springer-Verlag, New York (2005).

Caesar: A Deductive Verifier for Probabilistic Programs Springer-Verlag, New York (2005)

Reference 62

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.732263Z

Source-reported events for the cited work

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

Observation 15fabef6-25b3-4bd2-ac99-221954df9975 · outbound

This paper cites In: Groote, J.F., Larsen, K.G.

Caesar: A Deductive Verifier for Probabilistic Programs In: Groote, J.F., Larsen, K.G

Reference 63

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.125574Z

Source-reported events for the cited work

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

Observation ad35c65e-a447-42cb-b3c5-388d960ed03a · outbound

This paper cites In: Yoshida, N.

Caesar: A Deductive Verifier for Probabilistic Programs In: Yoshida, N

Reference 64

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.120144Z

Source-reported events for the cited work

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

Observation 6608b574-03fd-4147-b903-39c87a519662 · outbound

This paper cites In: Huisman, M., Pasareanu, C.S., Zhan, N.

Caesar: A Deductive Verifier for Probabilistic Programs In: Huisman, M., Pasareanu, C.S., Zhan, N

Reference 65

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.114386Z

Source-reported events for the cited work

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

Observation 3e3c19be-4fa5-40b8-b68d-829285b27e91 · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 66

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.109455Z

Source-reported events for the cited work

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

Observation cd8b17eb-0b30-4390-8d5b-c67806216427 · outbound

This paper cites In: Proceedings of the 39th ACM SIGPLAN Con- ference on Programming Language Design and Implementation.

Caesar: A Deductive Verifier for Probabilistic Programs In: Proceedings of the 39th ACM SIGPLAN Con- ference on Programming Language Design and Implementation

Reference 68

Resolution: verified exact; arxiv_id, observed 2026-05-19T18:17:43.129557Z

Source-reported events for the cited work

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

Observation c064f514-7ca1-46e4-a486-94a0a35c1ecb · outbound

This paper cites Springer (2002).

Caesar: A Deductive Verifier for Probabilistic Programs Springer (2002)

Reference 69

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.726245Z

Source-reported events for the cited work

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

Observation 4424a6bf-bcad-4b25-8038-6c869519e30f · outbound

This paper cites ACM Trans.

Caesar: A Deductive Verifier for Probabilistic Programs ACM Trans

Reference 70

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.073493Z

Source-reported events for the cited work

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

Observation 35735d8b-d6bb-4116-92a0-5e8c46e9dba2 · outbound

This paper cites Machine Intelli- gence5(1969).

Caesar: A Deductive Verifier for Probabilistic Programs Machine Intelli- gence5(1969)

Reference 71

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.720185Z

Source-reported events for the cited work

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

Observation fa029593-18ab-40aa-83ea-82e7c8a99ce6 · outbound

This paper cites MA thesis, RWTH Aachen University, Aachen (2024).https : / / doi.

Caesar: A Deductive Verifier for Probabilistic Programs MA thesis, RWTH Aachen University, Aachen (2024).https : / / doi

Reference 72

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.717354Z

Source-reported events for the cited work

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

Observation ff5d7e19-b275-4743-9781-208d5be8e3b7 · outbound

This paper cites (2026).https://doi.org/10.5281/zenodo.19838026.

Caesar: A Deductive Verifier for Probabilistic Programs (2026).https://doi.org/10.5281/zenodo.19838026

Reference 73

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.104024Z

Source-reported events for the cited work

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

Observation e450d887-f634-4862-9060-0d086865b7f0 · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 74

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.091824Z

Source-reported events for the cited work

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

Observation 932ba760-8fb1-4f1b-bba8-450bd283eda9 · outbound

This paper cites In: Proc.

Caesar: A Deductive Verifier for Probabilistic Programs In: Proc

Reference 75

Resolution: malformed identifier; doi_truncated, observed 2026-05-19T18:17:43.089116Z

Source-reported events for the cited work

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

Observation 9c09c8bf-7bae-4733-ab4d-ffd10c827a70 · outbound

This paper cites In: Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings.

Caesar: A Deductive Verifier for Probabilistic Programs In: Formal Methods - 27th International Symposium, FM 2026, Tokyo, Japan, May 18–22, 2026, Proceedings

Reference 76

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.714304Z

Source-reported events for the cited work

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

Observation 86c75755-6472-4e90-9d09-b23ea641abf6 · outbound

This paper cites (2024).https: / / github.

Caesar: A Deductive Verifier for Probabilistic Programs (2024).https: / / github

Reference 77

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.710211Z

Source-reported events for the cited work

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

Observation 072b1dd7-2d88-43ee-bc72-a0b88f033956 · outbound

This paper cites an unresolved cited work.

Caesar: A Deductive Verifier for Probabilistic Programs Unresolved cited work

Reference 78

Resolution: verified exact; doi, observed 2026-05-19T18:17:43.079274Z

Source-reported events for the cited work

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

Observation 0671c6d5-d508-4b1d-8ff2-3af196291d35 · outbound

This paper cites (2023).https://github.com/dafny-lang/Dafny-VMC.

Caesar: A Deductive Verifier for Probabilistic Programs (2023).https://github.com/dafny-lang/Dafny-VMC

Reference 79

Resolution: verified fuzzy; raw_fallback, observed 2026-05-19T18:17:43.705999Z

Source-reported events for the cited work

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

Coverage vector

Reference resolution

Outbound references

Pith citing papers