EviCheck: Digital Evidence for Android
From MaRDI portal
Publication:3460563
DOI10.1007/978-3-319-24953-7_17zbMath1471.68153OpenAlexW2179787696MaRDI QIDQ3460563
Mohamed Nassim Seghir, David Aspinall
Publication date: 8 January 2016
Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)
Full work available at URL: https://www.pure.ed.ac.uk/ws/files/20164876/paper_56.pdf
Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)
Related Items (1)
Uses Software
This page was built for publication: EviCheck: Digital Evidence for Android