QIn: Enabling Formal Methods to Deal with Quantum Circuits.
Jonas KlamrothBernhard BeckertMax ScheererOliver DenningerPublished in: QSW (2023)
Keyphrases
- formal methods
- quantum computing
- logic circuits
- formal analysis
- model checking
- model checker
- artificial intelligence
- knowledge based systems
- software engineering
- safety critical
- process algebra
- provably correct
- formal specification
- reactive systems
- logic synthesis
- security properties
- high speed
- temporal properties
- formal specification language
- power consumption
- fine grained
- low cost
- information systems