CRYSTAL framework: cybersecurity assurance for cyber-physical systems
From MaRDI portal
Publication:6561338
DOI10.1016/J.JLAMP.2024.100965MaRDI QIDQ6561338FDOQ6561338
Authors: Fereidoun Moradi, Sara Abbaspour Asadollah, Bahman Pourvatan, Zahra Moezkarimi, Marjan Sirjani 
Publication date: 25 June 2024
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
model abstractionformal verificationruntime monitoringcyber-physical systems (CPS)attack detection systemtiny digital twin
Cites Work
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Quantified event automata: towards expressive and efficient runtime monitors
- On time actors
- An \(O(m \log n)\) algorithm for branching bisimilarity on labelled transition systems
This page was built for publication: CRYSTAL framework: cybersecurity assurance for cyber-physical systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561338)
