Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems.
Johan Lidén EddelandAlexandre DonzéSajed MiremadiKnut ÅkessonPublished in: ARCH (2020)
Keyphrases
- temporal logic
- cyber physical systems
- concurrent systems
- transition systems
- model checking
- reactive systems
- critical infrastructure
- model checker
- cyber physical
- bounded model checking
- formal specification language
- formal specification
- modal logic
- cyber security
- physical world
- belief revision
- mazurkiewicz traces
- embedded systems
- computation tree logic
- control system
- verification method
- control flow
- dynamic constraints
- social networks
- artificial intelligence
- specification language
- risk analysis
- intrusion detection
- data warehouse
- information systems