swMATH1591MaRDI QIDQ14297FDOQ14297
Author name not available (Why is that?)
Official website: http://www.springerlink.com/content/c458783128228w61/
Cited In (22)
- 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
- Reasoning with temporal logic on truncated paths.
- SATORI
- HANNIBAL
- PASSAT
- Metropolis
- DReX
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
- Copilot
- Functional specification of hardware via temporal logic
- Runtime verification of embedded real-time systems
- 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
- Title not available (Why is that?)
This page was built for software: FoCs
