Back to Results
First PageMeta Content
Loop invariant / Invariant / Control flow / Abstract interpretation / State space / Mathematics / Science / Knowledge / Control theory / Cybernetics / Model checking


ALICe: A Framework to Improve Affine Loop Invariant Computation* Vivien Maisonneuve, Olivier Hermant and François Irigoin MINES ParisTech, France , s-pari
Add to Reading List

Document Date: 2014-04-16 04:29:27

Open Document

File Size: 266,94 KB

Share Result on Facebook

/

Facility

Integer Set Library / TPTP library / /

IndustryTerm

invariant computation tools / different tools / polyhedral invariant computation tools / Conversion tools / free software / export tool / transition systems / /

Person

Qerr Acc / De / Olivier Hermant / Laure Gonnord / Irigoin / Sven Verdoolaege / Paul Feautrier / M. Semantics / Vivien Maisonneuve / /

Position

guard / model / example model / the guard / /

ProgrammingLanguage

C / K / Fortran / /

URL

http /

SocialTag