Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) | Paper Citation Record

Observation 79985f00-e12f-433a-a5a7-e8f215c8b949 · outbound

This paper cites In: Baader, F., Voronkov, A.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Baader, F., Voronkov, A

Reference 1

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.861985Z

Source-reported events for the cited work

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

Observation 6292a553-d3df-48aa-a125-c15c9d10faab · outbound

This paper cites Texts in Computer Science, Springer (200 9), ISBN 978- 1-84882-744-8, https://doi.org/10.1007/978-1-84882-745-5.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Texts in Computer Science, Springer (200 9), ISBN 978- 1-84882-744-8, https://doi.org/10.1007/978-1-84882-745-5

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.706009Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ffab3f6-aeb7-4268-8f18-0f318685c358 · outbound

This paper cites In: Model Checking Sof tware, Lec- ture Notes in Computer Science, vol.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Model Checking Sof tware, Lec- ture Notes in Computer Science, vol

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.715809Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa39a3ca-cdfa-4ff2-8fa4-25df47f35ea4 · outbound

This paper cites In: Chakraborty, S., Navas, J.A.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Chakraborty, S., Navas, J.A

Reference 4

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.774315Z

Source-reported events for the cited work

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

Observation 53f21cc8-d403-474f-81ca-d917305c4731 · outbound

This paper cites In: Tools and Algorithms for the Construction and Analysis of Systems, pp.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Tools and Algorithms for the Construction and Analysis of Systems, pp

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.733164Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bc47741b-ed44-4b19-a4ee-a10231375930 · outbound

This paper cites In: Finkbeiner, B., Kovács, L.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Finkbeiner, B., Kovács, L

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.745888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c3c31f1e-68ba-4424-abe0-ca6471115279 · outbound

This paper cites https://sv-comp.sosy-lab.org/2024/rules.php (2024), accessed: 2024- 09-29.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) https://sv-comp.sosy-lab.org/2024/rules.php (2024), accessed: 2024- 09-29

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.752970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4f6ef1c5-0bdd-421c-b5b3-557c2568ff06 · outbound

This paper cites In: Zimm ermann, T., Cleland-Huang, J., Su, Z.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Zimm ermann, T., Cleland-Huang, J., Su, Z

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.765783Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97efd00a-1260-464a-808f-3b628908904e · outbound

This paper cites In: Nitto, E.D., Harman, M., Heymans, P.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Nitto, E.D., Harman, M., Heymans, P

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.774899Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6243d707-0f3a-4f85-b1a4-1b37531dbcb8 · outbound

This paper cites In: Margaria, T., Steﬀen, B.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Margaria, T., Steﬀen, B

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.785344Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 59f7424a-7428-461e-a74f-89e0ca80a03a · outbound

This paper cites In: Fisman, D., Rosu, G.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Fisman, D., Rosu, G

Reference 11

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.654680Z

Source-reported events for the cited work

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

Observation 123ac81f-b32d-4331-9a67-dc78c1d9d956 · outbound

This paper cites International Journal on Software Tools for Tec hnology Transfer 21(1), 1–29 (nov 2017), https://doi.org/10.1007/s10009-017-0469-y.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) International Journal on Software Tools for Tec hnology Transfer 21(1), 1–29 (nov 2017), https://doi.org/10.1007/s10009-017-0469-y

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.798318Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1eed53c-98e4-48ac-8917-edb16b46005c · outbound

This paper cites In: Sergey , I.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Sergey , I

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.811494Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38e43210-80a8-4dee-aa30-ebfa597279ba · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 14

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.545823Z

Source-reported events for the cited work

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

Observation f9547854-c0a1-4517-a8b2-cb9fac25b554 · outbound

This paper cites In: Jacobs, B., Silva, A., Staton, S.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Jacobs, B., Silva, A., Staton, S

Reference 15

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.499030Z

Source-reported events for the cited work

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

Observation 3a066184-f1c4-45d3-88a4-4a2cd5627183 · outbound

This paper cites In: Kaufmann, M., Paulson, L.C.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Kaufmann, M., Paulson, L.C

Reference 16

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.459623Z

Source-reported events for the cited work

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

Observation f5901bcb-dcfc-4851-bf37-b1a77f6ddb87 · outbound

This paper cites In: Fernández, M.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Fernández, M

Reference 17

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.425064Z

Source-reported events for the cited work

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

Observation 7ed501f4-643b-4b09-8cb3-5ec62bb7dad2 · outbound

This paper cites In: Aho, A.V., Zilles, S.N., Rosen, B.K.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Aho, A.V., Zilles, S.N., Rosen, B.K

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.866284Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c04f2671-b64c-4f50-8988-eef28095dbec · outbound

This paper cites In: Chandra, S., Blincoe, K., Tonella, P.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Chandra, S., Blincoe, K., Tonella, P

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.874952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 442e595b-5454-4c6e-b688-90e51ee7ab70 · outbound

This paper cites In: Hirschfeld, R., Pape, T.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Hirschfeld, R., Pape, T

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.887180Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc20d0f5-6941-4dd1-87bb-2165e7d9b6e1 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.896608Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1905b162-a262-4623-9940-55d9826eddc1 · outbound

This paper cites In: Bauer, F.L., Broy, M.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Bauer, F.L., Broy, M

Reference 22

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.317454Z

Source-reported events for the cited work

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

Observation 096c3783-5b18-4664-a114-04b9c59c9d9f · outbound

This paper cites Correctness Witnesses for Co ncur- rent Programs: Bridging the Semantic Divide with Ghosts.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Correctness Witnesses for Co ncur- rent Programs: Bridging the Semantic Divide with Ghosts

Reference 23

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.274392Z

Source-reported events for the cited work

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

Observation edd184a3-aa60-40e3-b18d-2cd99f1e696b · outbound

This paper cites https://ultimate-pa.github.io/concurrency-witnesses /correctness-witness-schema.yml (2024), accessed: 2024-09-29.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) https://ultimate-pa.github.io/concurrency-witnesses /correctness-witness-schema.yml (2024), accessed: 2024-09-29

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.933587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c65c0646-73ba-421c-bfb4-664ecd55df23 · outbound

This paper cites ultimate-pa.github.io/concurrency-witnesses/index.h tml (2024), accessed: 2024-09-29.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) ultimate-pa.github.io/concurrency-witnesses/index.h tml (2024), accessed: 2024-09-29

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.942076Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 846e3cf4-1c72-4cba-aa82-331936d73792 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.954127Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4b9414ec-38f1-4579-8741-6e1e505335fb · outbound

This paper cites In: Jagan- nathan, S., Sewell, P.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Jagan- nathan, S., Sewell, P

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.960971Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79ada8ad-5265-4243-9621-68af49cce1ef · outbound

This paper cites In: Jhala, R., Dillig, I.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Jhala, R., Dillig, I

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.967761Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6486532d-f743-48e8-b513-51c3dafdf2c9 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:15.977741Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 236f5034-1ce9-4081-bf09-f0bc9a8d49e6 · outbound

This paper cites Formal Methods Syst.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Formal Methods Syst

Reference 30

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.187387Z

Source-reported events for the cited work

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

Observation fe678049-bd2f-4e31-ba67-c75bcec12168 · outbound

This paper cites In: Dragoi, C., Mukher jee, S., Namjoshi, K.S.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Dragoi, C., Mukher jee, S., Namjoshi, K.S

Reference 32

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.141799Z

Source-reported events for the cited work

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

Observation 2bced5ad-4dce-4de4-94be-01e9e94f786d · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 33

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T13:03:21.018316Z

Source-reported events for the cited work

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

Observation 45a8727b-3512-4042-9ee9-ab375a72b335 · outbound

This paper cites In: Gar- avel, H., Hatcliﬀ, J.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Gar- avel, H., Hatcliﬀ, J

Reference 34

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.089098Z

Source-reported events for the cited work

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

Observation 22d0caa9-8fbf-4c2f-8d85-4c7cb627cae0 · outbound

This paper cites In: Schli ngloﬀ, B.H., Chai, M.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Schli ngloﬀ, B.H., Chai, M

Reference 35

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.050466Z

Source-reported events for the cited work

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

Observation a451a3ff-cac6-4fee-869c-64aab85b7f45 · outbound

This paper cites In: Palsberg, J., Su, Z.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Palsberg, J., Su, Z

Reference 36

Resolution: verified exact; doi, observed 2026-08-12T13:03:18.015387Z

Source-reported events for the cited work

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

Observation 7787c4ee-7485-481c-8cfa-73271a061d30 · outbound

This paper cites In: Castagna, G.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Castagna, G

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.061605Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1e9f238-ef48-4cec-8bc0-66a858b89a0f · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.070599Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 863ac3dc-866f-4e18-8327-1210866c8509 · outbound

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

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Rajamani, S.K., Walker, D

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.077032Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3910dcc3-4237-4c4b-b54b-bb1feb9c155c · outbound

This paper cites In: Proceedings of the 39th International Conf erence on Automated Software Engineering (ASE’24), ACM (2024), UR L https://doi.org/10.1145/3691620.3695034.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Proceedings of the 39th International Conf erence on Automated Software Engineering (ASE’24), ACM (2024), UR L https://doi.org/10.1145/3691620.3695034

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.087954Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c8c11bb0-601f-4a77-8a1b-7f6e3e8c5a0f · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.104113Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04c71c6f-1851-43af-bf13-4762095e447a · outbound

This paper cites In: Zhang, D., Møller, A.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Zhang, D., Møller, A

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.115106Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7e040d78-ddad-4b58-8d2f-8d57abe9f26c · outbound

This paper cites In: Fisman, D., Rosu, G.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Fisman, D., Rosu, G

Reference 43

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.970539Z

Source-reported events for the cited work

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

Observation 723b7e10-e729-40bf-b801-74f14695efdf · outbound

This paper cites I n: Yang, H.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) I n: Yang, H

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.134769Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d6c08d6-9e56-4854-b866-2f0c153245af · outbound

This paper cites In: Halldórsson, M.M., Iwama, K., Kobayashi, N., Speckmann , B.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Halldórsson, M.M., Iwama, K., Kobayashi, N., Speckmann , B

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.148651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6a1a4d5e-6ff1-4678-8fab-6ee7db04360e · outbound

This paper cites IEEE Trans.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) IEEE Trans

Reference 46

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.156208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1a240b04-76dc-4d9a-a3d9-5a80780e3427 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.165554Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb68f2c1-c4c4-47fd-859d-549e023d2c25 · outbound

This paper cites IEEE Trans.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) IEEE Trans

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.178208Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b89c8cd8-82e0-430f-9270-7371d4f9fb34 · outbound

This paper cites In: Giacobazzi, R., Cousot, R.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Giacobazzi, R., Cousot, R

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.191931Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13a01b14-8c6c-4b09-9e08-99a1fd45aef7 · outbound

This paper cites In: Wortman, D.B.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Wortman, D.B

Reference 50

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T13:03:19.896299Z

Source-reported events for the cited work

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

Observation 162ade84-eeb1-4d95-acc6-8353c7139503 · outbound

This paper cites Acta Informatica 21, 125–169 (1984), https://doi.org/10.1007/BF00289237.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Acta Informatica 21, 125–169 (1984), https://doi.org/10.1007/BF00289237

Reference 51

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.864370Z

Source-reported events for the cited work

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

Observation b4839d5f-c1b5-4872-8d89-fe338cbf7cee · outbound

This paper cites In: Brauer, W., Reis ig, W., Rozen- berg, G.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Brauer, W., Reis ig, W., Rozen- berg, G

Reference 52

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.815229Z

Source-reported events for the cited work

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

Observation 2e8bfe15-ecaa-4fea-9039-dd9af39122a1 · outbound

This paper cites In: Morrisett , J.G., Jones, S.L.P.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Morrisett , J.G., Jones, S.L.P

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.243737Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18300380-9a55-4cba-9175-ea63268f1360 · outbound

This paper cites In: de Frutos-Escrig, D., Núñez, M.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: de Frutos-Escrig, D., Núñez, M

Reference 54

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.789068Z

Source-reported events for the cited work

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

Observation 39c11bba-8089-445d-969d-8cea44193dc3 · outbound

This paper cites In: Dimitrova, R.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Dimitrova, R

Reference 55

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.752355Z

Source-reported events for the cited work

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

Observation 7c43b1a3-8f14-4729-98c9-2b032ced8fb5 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 56

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.709579Z

Source-reported events for the cited work

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

Observation 365e06de-78b5-4909-abcf-c1cf22df7b3c · outbound

This paper cites In: McMillan, K.L., Rival, X.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: McMillan, K.L., Rival, X

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.300376Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 01e7a584-6c91-4b38-8492-210111cb294c · outbound

This paper cites In: Bouajjani, A., Monniaux, D.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Bouajjani, A., Monniaux, D

Reference 58

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.644452Z

Source-reported events for the cited work

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

Observation c3024edf-7ad8-4d07-9b1a-6294e11c64ee · outbound

This paper cites In: Ranzato, F.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Ranzato, F

Reference 59

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.600948Z

Source-reported events for the cited work

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

Observation f60cb211-7771-4379-a8ca-52e2b0b01bc4 · outbound

This paper cites In: Shao, Z.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Shao, Z

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.346646Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5de36ba-9fe3-4cdc-a6cc-ed09398de860 · outbound

This paper cites In: Proceedings of the 15th Interna tional Par- allel & Distributed Processing Symposium (IPDPS-01), San F rancisco, CA, USA, April 23-27, 2001, p.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Proceedings of the 15th Interna tional Par- allel & Distributed Processing Symposium (IPDPS-01), San F rancisco, CA, USA, April 23-27, 2001, p

Reference 61

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T13:03:19.627903Z

Source-reported events for the cited work

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

Observation 73b5bb64-5478-46b4-8aa2-0c793bc36686 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.365308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 846702fa-4290-4edc-957a-8c9934414a30 · outbound

This paper cites In: Finance, J.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Finance, J

Reference 63

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.525979Z

Source-reported events for the cited work

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

Observation e124a606-3f0d-4b94-9128-4a6967716ad8 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.387704Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 596348b2-dfd0-4a76-8aa1-010116072945 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 65

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T13:03:19.500170Z

Source-reported events for the cited work

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

Observation 77ffbaa7-fc4a-412b-9e16-6cbcebdd3d24 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.406630Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 72ad12e9-6dbb-47ea-9b1a-1cdddd66add7 · outbound

This paper cites In: Tools and Algorithms for the Construction an d Anal- ysis of Systems, pp.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Tools and Algorithms for the Construction an d Anal- ysis of Systems, pp

Reference 67

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.448358Z

Source-reported events for the cited work

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

Observation 9f1b6f7d-5efd-4b6d-a6a9-03aadff826f4 · outbound

This paper cites In: Dimitrova, R., Lahav, O., Wolﬀ, S.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Dimitrova, R., Lahav, O., Wolﬀ, S

Reference 68

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.418523Z

Source-reported events for the cited work

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

Observation e706f4e3-c6bf-4ea7-8f39-b6bf71d5f7d2 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 69

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.382855Z

Source-reported events for the cited work

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

Observation d05d839e-11e7-42b9-a14d-97b8ab05c6b3 · outbound

This paper cites In: Bidoit, M., Dauchet, M.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Bidoit, M., Dauchet, M

Reference 70

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.338169Z

Source-reported events for the cited work

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

Observation 39fb6527-bb16-4f37-8b13-ed863c8c131a · outbound

This paper cites , Vojdani, V.: Im- proving thread-modular abstract interpretation.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) , Vojdani, V.: Im- proving thread-modular abstract interpretation

Reference 71

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.298697Z

Source-reported events for the cited work

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

Observation 62303d17-f57a-4b5a-ab79-1c17061330e1 · outbound

This paper cites In: Wies, T.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Wies, T

Reference 72

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.259469Z

Source-reported events for the cited work

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

Observation 67a4d16a-689f-43a6-a824-02e3b393af50 · outbound

This paper cites In: Hong, J., Lanperne, M., Park, J.W., Cerný, T., Shahriar, H.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Hong, J., Lanperne, M., Park, J.W., Cerný, T., Shahriar, H

Reference 73

Resolution: metadata mismatch; raw_fallback, observed 2026-08-12T13:03:19.344126Z

Source-reported events for the cited work

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

Observation 9fb98cd6-e64d-4fac-a1ef-5da17c2695ca · outbound

This paper cites In: Grove, D., Blackburn, S.M.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Grove, D., Blackburn, S.M

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.497917Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 524b82eb-e204-4b0f-8834-65ef052fc65f · outbound

This paper cites In: Gurﬁnkel, A., Ganesh , V.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Gurﬁnkel, A., Ganesh , V

Reference 75

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.226927Z

Source-reported events for the cited work

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

Observation 48cc4020-4170-497b-aff0-92fd5661d3ab · outbound

This paper cites In: Biere, A., Parker, D.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Biere, A., Parker, D

Reference 76

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.200060Z

Source-reported events for the cited work

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

Observation 53596ec5-0e76-42a1-be27-e65b9b599c0f · outbound

This paper cites https://ultimate-pa.org/ (2024), accessed: 2024-09-29.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) https://ultimate-pa.org/ (2024), accessed: 2024-09-29

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.533385Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 664d28d2-0dd4-4ba5-850c-d624a28d67f8 · outbound

This paper cites In: Dragoi, C., Emmi, M., Wang, J.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Dragoi, C., Emmi, M., Wang, J

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.544987Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4611f5ea-a7db-4a77-90ca-77ffb8d1c31b · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 79

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.136897Z

Source-reported events for the cited work

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

Observation 20d5e5c9-76c9-467d-b3c9-e7406f12075c · outbound

This paper cites In : Proceedings of the 31st IEEE/ACM International Conference on Automated So ftware En- gineering, ACM (aug 2016), https://doi.org/10.1145/2970276.2970337.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In : Proceedings of the 31st IEEE/ACM International Conference on Automated So ftware En- gineering, ACM (aug 2016), https://doi.org/10.1145/2970276.2970337

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.570624Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 115ba89e-4e67-4a5a-98ca-a69d8aa311b7 · outbound

This paper cites Form al Aspects Comput.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Form al Aspects Comput

Reference 81

Resolution: verified exact; doi, observed 2026-08-12T13:03:17.092764Z

Source-reported events for the cited work

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

Observation 6c58589b-78db-48b5-af73-4b635cb69d56 · outbound

This paper cites In: Agrawal, M., Cooper, S.B., Li, A.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) In: Agrawal, M., Cooper, S.B., Li, A

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.600589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20a0a4aa-655b-447b-aa19-ef8a469f7ba4 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.617840Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 065f8b34-e770-46fa-b96a-de80a64240fd · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.630488Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eebde27b-8790-4f97-9dcd-902b8896cf89 · outbound

This paper cites Then, we pick a total order on states that extends this partial order, yielding ordered states s0 < s 1 < · · ·< s n, for some n.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Then, we pick a total order on states that extends this partial order, yielding ordered states s0 < s 1 < · · ·< s n, for some n

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.654574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cb538991-1c0c-4702-a224-0b33fe194754 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.667443Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5527d4f-767c-4e7d-a086-dc5b66d1949e · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.675132Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ecd5d720-4455-43d6-8eb8-108bf8df2b6f · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.695158Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 476654a8-b22a-4bd7-9054-4b4a3e2fc334 · outbound

This paper cites – SV-COMP witness generation:.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) – SV-COMP witness generation:

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.712648Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation beb54e32-585a-48e3-89ae-22f369ac7309 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.721197Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3cc22b13-454e-4c10-86bc-feac0ac2d3bd · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.732337Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0ebc8a7d-903f-4da8-b044-3abd129b25a2 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.742455Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7835f34a-46c5-4d61-88e2-f32596fce2e3 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.749613Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 119021d1-200c-4fdd-bad6-212fe6ad35a0 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.761305Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6d20aa69-3265-4ef5-96bb-60475ec13180 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.774270Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation da752a01-9e50-4cbb-a64c-d077ce2cd9fa · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.795717Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ed107c29-a218-42be-8d81-12431dd95ce6 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.804050Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b888b718-3a3e-444f-a7ba-a1454757fb44 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.817976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c399d26c-4e7e-4f6b-b6ce-c6ab27686336 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.825614Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c66bf30a-d145-4121-87c7-135817135e2a · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.833672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 93c794dd-53ba-45a2-89f3-a25909b3a8e5 · outbound

This paper cites an unresolved cited work.

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version) Unresolved cited work

Reference 101

Resolution: unresolved; no resolver link, observed 2026-08-12T13:03:16.842674Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers