The following pages link to Cogent (Q14040):
Displaying 10 items.
- High-order finite-volume modeling of drift waves (Q2311638) (← links)
- High-order discretization of a gyrokinetic Vlasov model in edge plasma geometry (Q2311643) (← links)
- Verification of SpecC using predicate abstraction (Q2369884) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- Refinement through restraint: bringing down the cost of verification (Q2982005) (← links)
- SAT-Based Model Checking (Q3176368) (← links)
- Model Checking Software (Q5394555) (← links)
- Generating Unit Tests from Formal Proofs (Q5423869) (← links)
- Deciding Bit-Vector Arithmetic with Abstraction (Q5758122) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899062) (← links)
