Pages that link to "Item:Q5316437"
From MaRDI portal
The following pages link to Fundamental Approaches to Software Engineering (Q5316437):
Displaying 10 items.
- Explaining counterexamples using causality (Q453516) (← links)
- Instrumenting a weakest precondition calculus for counterexample generation (Q1648649) (← links)
- Producing explanations for rich logics (Q2024339) (← links)
- Debugging of concurrent systems using counterexample analysis (Q2093147) (← links)
- Pardinus: a temporal relational model finder (Q2102939) (← links)
- Making the most of BMC counterexamples (Q2849596) (← links)
- Counterexample-Guided Model Synthesis (Q3303898) (← links)
- Verification: Theory and Practice (Q5305642) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703790) (← links)
- Explainable online monitoring of metric temporal logic (Q6536149) (← links)