The following pages link to FoCs (Q14297):
Displaying 16 items.
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- Runtime verification of embedded real-time systems (Q479806) (← links)
- Validating the PSL/Sugar semantics using automated reasoning (Q706502) (← links)
- Embedding finite automata within regular expressions (Q947783) (← links)
- Optimized temporal monitors for SystemcC (Q2441724) (← links)
- Verification approach of Metropolis design framework for embedded systems (Q2506294) (← links)
- A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis (Q2873774) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- (Q4551162) (← links)
- Experimental Evaluation of Classical Automata Constructions (Q5387853) (← links)
- (Q5444994) (← links)
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors (Q5452193) (← links)
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems (Q5464744) (← links)
- Correct Hardware Design and Verification Methods (Q5897068) (← links)
- Computer Aided Verification (Q5900668) (← links)
- Analog property checkers: a DDR2 case study (Q5962118) (← links)
