View of Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs

Return to Article Details Dynamic Partitioning in Linear Relation Analysis. Application to the Verification of Synchronous Programs Download Download PDF