The following pages link to (Q4411974):
Displaying 13 items.
- Foundations for using linear temporal logic in Event-B refinement (Q333316) (← links)
- 3-valued abstraction: More precision at less cost (Q958307) (← links)
- On decidability of LTL model checking for process rewrite systems (Q1006890) (← links)
- Combining search space partition and abstraction for LTL model checking (Q2465733) (← links)
- A semantic framework for the abstract model checking of tccp programs (Q2576949) (← links)
- A program analysis framework for \textit{tccp} based on abstract interpretation (Q2628304) (← links)
- (Q2754166) (← links)
- An Asymptotically Correct Finite Path Semantics for LTL (Q2891462) (← links)
- Semi-external LTL Model Checking (Q3512515) (← links)
- Model Checking LTL Formulae in RAISE with FDR (Q3605469) (← links)
- Manipulating LTL Formulas Using Spot 1.0 (Q5166705) (← links)
- Algebraic Methodology and Software Technology (Q5312992) (← links)
- On Decidability of LTL Model Checking for Process Rewrite Systems (Q5385990) (← links)
