Pages that link to "Item:Q5899062"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5899062):
Displaying 5 items.
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- Loop summarization using state and transition invariants (Q2248058) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- Loop Summarization Using Abstract Transformers (Q3540068) (← links)
- Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Q6488162) (← links)