HSF
From MaRDI portal
Software:21916
No author found.
Related Items (10)
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions ⋮ Verifying Array Programs by Transforming Verification Conditions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption ⋮ Horn clause verification with convex polyhedral abstraction and tree automata-based refinement ⋮ A constraint-based approach to solving games on infinite graphs ⋮ Incremental and Modular Context-sensitive Analysis ⋮ Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012. Proceedings ⋮ Specialization with Constrained Generalization for Software Model Checking
This page was built for software: HSF
