Home /Research /Invariant Generation for Parametrized Systems Using Self-reflection
OTHER

Invariant Generation for Parametrized Systems Using Self-reflection

Alejandro Sánchez, Sriram Sankaranarayanan, César Sánchez, Bor-Yuh Evan Chang

Year
2012
Citations
18

Keywords

Computer scienceInvariant (physics)A priori and a posterioriTheoretical computer scienceInferenceAbstractionAlgorithmArtificial intelligenceMathematics

Related papers

Browse all OTHER papers