The following pages link to SCTL-MUS (Q14789):
Displaying 4 items.
- Data structures for symbolic multi-valued model-checking (Q862857) (← links)
- Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning (Q5392290) (← links)
- A Six-valued Logic to Reason about Uncertainty and Inconsistency in Requirements Specifications (Q5477457) (← links)
- Integrated Formal Methods (Q5901617) (← links)