Pages that link to "Item:Q5897055"
From MaRDI portal
The following pages link to Correct Hardware Design and Verification Methods (Q5897055):
Displaying 9 items.
- Predicate abstraction in a program logic calculus (Q549686) (← links)
- Verification and falsification of programs with loops using predicate abstraction (Q968302) (← links)
- Predicate abstraction of ANSI-C programs using SAT (Q1888196) (← links)
- Accelerating predicate abstraction by minimum unsatisfiable cores extraction (Q1980482) (← links)
- Compositional Predicate Abstraction from Game Semantics (Q3617753) (← links)
- Combining Predicate Abstraction with Fixpoint Approximations (Q4571129) (← links)
- Predicate abstraction with indexed predicates (Q5277793) (← links)
- Predicate Abstraction with Under-approximation Refinement (Q5310681) (← links)
- Computer Aided Verification (Q5900674) (← links)