Model Checking as Program Verification by Abstract Interpretation (Extended Version) | Paper Citation Record

Observation 9ae40641-eda0-4518-8412-30814ecc7a74 · outbound

This paper cites Abstraction, up-to techniques and games for systems of fixpoint equations.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Abstraction, up-to techniques and games for systems of fixpoint equations

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.654098Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation aef13ea8-193b-41d1-8d69-011f683ba1f3 · outbound

This paper cites Abstraction for falsification.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Abstraction for falsification

Reference 2

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.643656Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 8cfde6f7-a5ae-47d9-af5f-435c353f9b8c · outbound

This paper cites Rajamani.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Rajamani

Reference 3

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.633192Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation bc8518b4-09d7-4608-8ce6-cbd77a42b3fd · outbound

This paper cites Gallagher.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Gallagher

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.623118Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2922938b-c60d-41cb-9618-00c141764e27 · outbound

This paper cites On-the-fly model checking of RCTL formulas.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) On-the-fly model checking of RCTL formulas

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.613020Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7c3c4651-c2c8-487a-aad4-a6df4938c5eb · outbound

This paper cites A logic for locally complete abstract interpretations.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) A logic for locally complete abstract interpretations

Reference 6

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.602972Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 06a51516-2fd7-4a0d-a842-9551f0ed00a0 · outbound

This paper cites Abstract interpretation repair.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Abstract interpretation repair

Reference 7

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.592030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3a13e12a-c8b3-4237-a5bb-d8630c21a265 · outbound

This paper cites A correctness and incorrectness program logic.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) A correctness and incorrectness program logic

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.581356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f4be4719-de7c-40fa-aad0-015872a22aa3 · outbound

This paper cites Simulation-based minimization.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Simulation-based minimization

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.571818Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0b78dc17-b25a-42ee-87b9-419f632b1a28 · outbound

This paper cites Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.562832Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation dc0a4c71-75f2-4161-a97a-bd023e69260f · outbound

This paper cites Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, and Helmut Veith

Reference 11

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.552799Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6d22138e-9430-4145-816a-cf2d0368717b · outbound

This paper cites Clarke, Orna Grumberg, Daniel Kroening, Doron A.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Clarke, Orna Grumberg, Daniel Kroening, Doron A

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.541614Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b3af66f9-bdcb-45be-965e-cb308c385049 · outbound

This paper cites Clarke, Orna Grumberg, and David E.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Clarke, Orna Grumberg, and David E

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.532029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 3309f8e7-589c-408d-a285-13e87339d9c3 · outbound

This paper cites Clarke, William Klieber, Milos Nov \' a cek, and Paolo Zuliani.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Clarke, William Klieber, Milos Nov \' a cek, and Paolo Zuliani

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.523451Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f557af64-74c6-43bc-846e-5a80838a861e · outbound

This paper cites Principles of Abstract Interpretation.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Principles of Abstract Interpretation

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.513564Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation aa0b94ef-9f35-4848-b5b0-56be72ffd77f · outbound

This paper cites Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.505085Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 75a4fe3e-293d-4363-b13c-e46b7266424b · outbound

This paper cites Systematic design of program analysis frameworks.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Systematic design of program analysis frameworks

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.494524Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ab8d036d-ed39-4dcf-ae3a-a3f4f70189d9 · outbound

This paper cites Refining model checking by abstract interpretation.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Refining model checking by abstract interpretation

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.483862Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation c8d646af-06d5-40cf-a5f6-56f6f44e41af · outbound

This paper cites Temporal abstract interpretation.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Temporal abstract interpretation

Reference 19

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.473442Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0eadabb6-d7fb-4368-aada-d2333235304d · outbound

This paper cites Fixpoint-guided abstraction refinements.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Fixpoint-guided abstraction refinements

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.463312Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 133c421b-7f5e-470d-a8c9-bb52370d1c37 · outbound

This paper cites Abstract interpretation of reactive systems.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Abstract interpretation of reactive systems

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.453970Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6edd00c2-16a5-4fbe-9aa1-b0e76ba98ef7 · outbound

This paper cites Abstraction and abstraction refinement.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Abstraction and abstraction refinement

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.444431Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 25162820-8c18-4285-96ac-b8a5b76caee9 · outbound

This paper cites Davey and Hilary A.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Davey and Hilary A

Reference 23

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.434080Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e2ee927e-e638-439e-a98e-9c9e3b48aabc · outbound

This paper cites Incompleteness, counterexamples, and refinements in abstract model-checking.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Incompleteness, counterexamples, and refinements in abstract model-checking

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.424240Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation afbeebfb-797b-49d9-b8b7-7ddc1c48928c · outbound

This paper cites Incompleteness of states w.r.t.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Incompleteness of states w.r.t

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.415419Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation fbbcc460-f01e-46de-8827-1bcc7bc9a4f9 · outbound

This paper cites Making abstract interpretations complete.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Making abstract interpretations complete

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.406489Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e1ef1242-6c25-4f7a-8e1c-e744d6d80c04 · outbound

This paper cites Construction of abstract state graphs with PVS.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Construction of abstract state graphs with PVS

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.396718Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 5703469d-7a74-4325-9e65-29e11fffede1 · outbound

This paper cites When not losing is better than winning: Abstraction and refinement for the full mu-calculus.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) When not losing is better than winning: Abstraction and refinement for the full mu-calculus

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.387668Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 21bd7e0d-393f-410c-a469-ffed88921b2f · outbound

This paper cites Abstraction refinement for bounded model checking.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Abstraction refinement for bounded model checking

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.378463Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b6f3e21e-150a-4178-959b-21c222764c5c · outbound

This paper cites Dynamic Logic.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Dynamic Logic

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.369734Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d16b9a46-fc04-4b87-a648-7609cef80082 · outbound

This paper cites Software model checking.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Software model checking

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.360676Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation ceabb6ff-55e7-4fe2-89b9-70c0b479ede8 · outbound

This paper cites Predicate abstraction for program verification.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Predicate abstraction for program verification

Reference 32

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.350954Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 37660232-7fa6-4df4-971a-0eba4e0bb671 · outbound

This paper cites Kleene algebra with tests.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Kleene algebra with tests

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.340860Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 7a26920c-1dec-4510-8ee5-ec5384094856 · outbound

This paper cites A modal process logic.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) A modal process logic

Reference 34

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.332051Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 66b094af-d761-4a86-a707-0f3de68abdf9 · outbound

This paper cites Towards K leene algebra with recursion.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Towards K leene algebra with recursion

Reference 35

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.322911Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0575d875-7534-4aad-94af-f32b3667e5e0 · outbound

This paper cites Property preserving abstractions for the verification of concurrent systems.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Property preserving abstractions for the verification of concurrent systems

Reference 36

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.314330Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 78d2e392-7b5f-4939-b7a5-2a2bb839bb63 · outbound

This paper cites Semantics for abstract interpretation-based static analyzes of temporal properties.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Semantics for abstract interpretation-based static analyzes of temporal properties

Reference 37

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.306029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation b67b644c-19f9-421b-93a7-15ba52b57ac7 · outbound

This paper cites Tutorial on static inference of numeric invariants by abstract interpretation.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Tutorial on static inference of numeric invariants by abstract interpretation

Reference 38

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.297357Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e8cf24af-e8ca-4392-ac37-cd3051edf5de · outbound

This paper cites Model checking Is static analysis of modal logic.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Model checking Is static analysis of modal logic

Reference 39

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.287464Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation a3829533-9830-40e8-adc8-453ff1617044 · outbound

This paper cites A succinct solver for ALFP.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) A succinct solver for ALFP

Reference 40

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.277793Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 1d01b0c4-6d7b-45b1-8c73-97a9401fff70 · outbound

This paper cites Flow logic: A multi-paradigmatic approach to static analysis.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Flow logic: A multi-paradigmatic approach to static analysis

Reference 41

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.268447Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation cd900ebf-4ac4-4ef0-a8be-e0c22803e7d8 · outbound

This paper cites an unresolved cited work.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Unresolved cited work

Reference 42

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:39:36.259633Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation e805faa0-fbb9-4f8d-8aee-a9ecb3611fe5 · outbound

This paper cites On the completeness of model checking.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) On the completeness of model checking

Reference 43

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.250537Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9ec7cf1a-fae8-41ee-8d52-1c372396ddec · outbound

This paper cites Making abstract model checking strongly preserving.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Making abstract model checking strongly preserving

Reference 44

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.242030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation dc6ec278-3072-4f61-a0e1-21bcf36240f8 · outbound

This paper cites Generalized strong preservation by abstract interpretation.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Generalized strong preservation by abstract interpretation

Reference 45

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.223642Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 4d51525f-3939-440a-b289-900860b29092 · outbound

This paper cites Binary relations for abstraction and refinement.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Binary relations for abstraction and refinement

Reference 46

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:36.215286Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 601c9443-6ede-459c-9a7f-f089f0e7e746 · outbound

This paper cites an unresolved cited work.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Unresolved cited work

Reference 47

Resolution: unresolved; raw_fallback, observed 2026-08-07T10:39:36.001003Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation d11a0aef-1244-46ef-a452-7866f2273e5f · outbound

This paper cites Schmidt and Bernhard Steffen.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Schmidt and Bernhard Steffen

Reference 48

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:35.821950Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 6d67f07b-3e5a-4197-96fa-ac770f73f1a8 · outbound

This paper cites Monotonic abstraction-refinement for CTL.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Monotonic abstraction-refinement for CTL

Reference 49

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:35.661143Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 0a4b0eff-3526-45fd-b0dc-bbcf2fe4e8e6 · outbound

This paper cites Data flow analysis as model checking.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Data flow analysis as model checking

Reference 50

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:35.519219Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f12bab09-7444-471d-abd5-bfc9dcbd7930 · outbound

This paper cites Generating data flow analysis algorithms from modal specifications.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Generating data flow analysis algorithms from modal specifications

Reference 51

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:35.365856Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9a396072-d0ee-4570-b701-7d9b7533673c · outbound

This paper cites Local model checking in the modal mu-calculus.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Local model checking in the modal mu-calculus

Reference 52

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:35.229359Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 9b94ec79-4c7a-4356-99a6-4e518f7b0040 · outbound

This paper cites Temporal logic can be more expressive.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Temporal logic can be more expressive

Reference 53

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:35.088792Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation 2ad7fab0-efdc-4011-8652-b406b1a5d2f7 · outbound

This paper cites Model checking as static analysis: Revisited.

Model Checking as Program Verification by Abstract Interpretation (Extended Version) Model checking as static analysis: Revisited

Reference 54

Resolution: verified fuzzy; raw_fallback, observed 2026-08-07T10:39:34.955471Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Coverage vector

Reference resolution

Outbound references

Pith citing papers