FoCs
From MaRDI portal
Software:14297
swMATH1591MaRDI QIDQ14297FDOQ14297
Author name not available (Why is that?)
Cited In (16)
- 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
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis
- Title not available (Why is that?)
- Runtime verification of embedded real-time systems
- Correct Hardware Design and Verification Methods
- Verification approach of Metropolis design framework for embedded systems
- Analog property checkers: a DDR2 case study
- Computer Aided Verification
- Embedding finite automata within regular expressions
- Functional Specification of Hardware via Temporal Logic
- Title not available (Why is that?)
This page was built for software: FoCs
