HSF

swMATH9937MaRDI QIDQ21916FDOQ21916

Author name not available (Why is that?)

Cited In (10)

• Verifying Array Programs by Transforming Verification Conditions
• Title not available (Why is that?)
• Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption
• Title not available (Why is that?)
• Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions
• 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
• Incremental and Modular Context-sensitive Analysis
• A constraint-based approach to solving games on infinite graphs
• Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

This page was built for software: HSF