Cogent
From MaRDI portal
Software:14040
No author found.
Related Items (10)
Verification of SpecC using predicate abstraction ⋮ SAT-Based Model Checking ⋮ Specification and verification challenges for sequential object-oriented programs ⋮ Model Checking Software ⋮ Refinement through restraint: bringing down the cost of verification ⋮ Generating Unit Tests from Formal Proofs ⋮ Deciding Bit-Vector Arithmetic with Abstraction ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ High-order finite-volume modeling of drift waves ⋮ High-order discretization of a gyrokinetic Vlasov model in edge plasma geometry
This page was built for software: Cogent
