Author:
Farzan Azadeh,Vandikas Anthony
Publisher
Springer International Publishing
Reference28 articles.
1. Abdulla, P.A., Aronis, S., Jonsson, B., Sagonas, K.: Source sets: a foundation for optimal dynamic partial order reduction. J. ACM (JACM) 64(4), 25 (2017)
2. Lecture Notes in Computer Science;F Baader,2001
3. Lecture Notes in Computer Science;G Barthe,2011
4. Lecture Notes in Computer Science;G Barthe,2013
5. Barthe, G., D’argenio, P.R., Rezk, T.: Secure information flow by self-composition. Math. Struct. Comput. Sci. 21(6), 1207–1252 (2011)
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Input-Relational Verification of Deep Neural Networks;Proceedings of the ACM on Programming Languages;2024-06-20
2. Commutativity Simplifies Proofs of Parameterized Programs;Proceedings of the ACM on Programming Languages;2024-01-05
3. Coarser Equivalences for Causal Concurrency;Proceedings of the ACM on Programming Languages;2024-01-05
4. Hyperproperty Verification as CHC Satisfiability;Lecture Notes in Computer Science;2024
5. Syntax-Guided Automated Program Repair for Hyperproperties;Lecture Notes in Computer Science;2024