Citation Details
Book
Verification, Model Checking, and Abstract Interpretation
2021, Volume 12597
ISBN : 978-3-030-67066-5
93 Items cite this Book and its Chapters
Chapter
Guide to Software Verification with Frama-C
Series: Computer Science Foundations and Applied Logic, Year: 2024, Page 263
DOI: 10.1007/978-3-031-55608-1_5
This item cites DOI: 10.1007/978-3-030-67067-2_12
Read OnlineArticle
Verifying safety of synchronous fault-tolerant algorithms by bounded model checking
Journal: International Journal on Software Tools for Technology Transfer, 2022, Volume 24, Number 1, Page 33
DOI: 10.1007/s10009-021-00637-9
This item cites DOI: 10.1007/978-3-030-67067-2_10
Read OnlineChapter
Tools and Algorithms for the Construction and Analysis of Systems
Series: Lecture Notes in Computer Science, Year: 2024, Volume 14571, Page 155
DOI: 10.1007/978-3-031-57249-4_8
This item cites DOI: 10.1007/978-3-030-67067-2_14
Read OnlineArticle
Verification of randomized consensus algorithms under round-rigid adversaries
Journal: International Journal on Software Tools for Technology Transfer, 2021, Volume 23, Number 5, Page 797
DOI: 10.1007/s10009-020-00603-x
This item cites DOI: 10.1007/978-3-030-67067-2_11
Read OnlineArticle
Structural testing for CUDA programming model
Journal: Concurrency and Computation: Practice and Experience, 2024, Volume 36, Number 14
DOI: 10.1002/cpe.8105
This item cites DOI: 10.1007/978-3-030-67067-2_18
Read OnlineArticle
GPURepair: Automated Repair of GPU Kernels (Extended Version)
Journal: Sādhanā, 2023, Volume 49, Number 1
DOI: 10.1007/s12046-023-02291-0
This item cites DOI: 10.1007/978-3-030-67067-2_18
Read OnlineArticle
Unrealizability Logic
Journal: Proceedings of the ACM on Programming Languages, 2023, Volume 7, Number POPL, Page 659
DOI: 10.1145/3571216
This item cites DOI: 10.1007/978-3-030-67067-2_16
Read OnlineChapter
Static Analysis
Series: Lecture Notes in Computer Science, Year: 2023, Volume 14284, Page 3
DOI: 10.1007/978-3-031-44245-2_1
This item cites DOI: 10.1007/978-3-030-67067-2_16
Read OnlineArticle
Quantifiability: a concurrent correctness condition modeled in vector space
Journal: Computing, 2023, Volume 105, Number 5, Page 955
DOI: 10.1007/s00607-022-01092-3
This item cites DOI: 10.1007/978-3-030-67067-2_8
Read OnlineArticle
Trident: Controlling Side Effects in Automated Program Repair
Journal: IEEE Transactions on Software Engineering, 2021, Page 1
This item cites DOI: 10.1007/978-3-030-67067-2_17
Read Online
© 2024 Springer. Part of Springer Nature.