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