Citation Details
Chapter
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
Formal Methods and Software Engineering, 2008, Volume 5256
ISBN : 978-3-540-88193-3
5 Items cite this Chapter
Article
Verifying Linearizability via Optimized Refinement Checking
Journal: IEEE Transactions on Software Engineering, 2013, Volume 39, Number 7, Page 1018
DOI: 10.1109/TSE.2012.82
Read OnlineConference Paper
Scalable automatic linearizability checking
Conference: Proceedings of the 33rd International Conference on Software Engineering, Year: 2011, Page 1185
Read OnlineArticle
Parameterized verification of systems with component identities, using view abstraction
Journal: International Journal on Software Tools for Technology Transfer, 2022, Volume 24, Number 2, Page 287
DOI: 10.1007/s10009-022-00648-0
Read OnlineArticle
Symmetry reduction in CSP model checking
Journal: International Journal on Software Tools for Technology Transfer, 2019, Volume 21, Number 5, Page 567
DOI: 10.1007/s10009-019-00516-4
Read OnlineConference Paper
PPF: A model-based tool for analyzing E-payment protocols
Conference: 2016 International Conference on Control, Instrumentation, Communication and Computational Technologies (ICCICCT), Year: 2016, Page 615
DOI: 10.1109/ICCICCT.2016.7988024
Read Onlinecitation rank
Citations per year
 | | | | |
| 2011 | 2022 | |||
citing journals
citing books
© 2024 Springer. Part of Springer Nature.