The following pages link to (Q4551164):
Displaying 9 items.
- Bounded model checking of ETL cooperating with finite and looping automata connectives (Q364388) (← links)
- Linear temporal logic symbolic model checking (Q465680) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- The use of contract specifications for representing requirements and for functional testing of hardware models (Q927452) (← links)
- An abstraction-refinement framework for trigger querying (Q2248101) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- Computation Tree Regular Logic for Genetic Regulatory Networks (Q3540063) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
