FoCs
From MaRDI portal
Cited in
(22)- SATORI
- HANNIBAL
- PASSAT
- Optimized temporal monitors for SystemcC
- Verification approach of Metropolis design framework for embedded systems
- Foundations of Boolean stream runtime verification
- Metropolis
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
- DReX
- Functional specification of hardware via temporal logic
- Copilot
- scientific article; zbMATH DE number 1796143 (Why is no real title available?)
- Runtime verification of embedded real-time systems
- Experimental Evaluation of Classical Automata Constructions
- Robustness and usability in modern design flows
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- Executing the formal semantics of the Accellera property specification language by mechanised theorem proving
- Reasoning with temporal logic on truncated paths.
- Analog property checkers: a DDR2 case study
- Validating the PSL/Sugar semantics using automated reasoning
- Embedding finite automata within regular expressions
This page was built for software: FoCs
