FoCs
From MaRDI portal
Software:14297
No author found.
Related Items (16)
Foundations of Boolean stream runtime verification ⋮ Unnamed Item ⋮ Functional Specification of Hardware via Temporal Logic ⋮ Optimized temporal monitors for SystemcC ⋮ Experimental Evaluation of Classical Automata Constructions ⋮ Runtime verification of embedded real-time systems ⋮ Embedding finite automata within regular expressions ⋮ Validating the PSL/Sugar semantics using automated reasoning ⋮ Unnamed Item ⋮ Verification approach of Metropolis design framework for embedded systems ⋮ Analog property checkers: a DDR2 case study ⋮ Checking Temporal Properties of Discrete, Timed and Continuous Behaviors ⋮ Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems ⋮ Computer Aided Verification ⋮ Correct Hardware Design and Verification Methods ⋮ A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis
This page was built for software: FoCs
