Back to Results
First PageMeta Content
Control flow / Loop invariant / Transformer / Precondition / KeY / Group action / Predicate transformer semantics / Theoretical computer science / Software engineering / Mathematics


NSADComputing Invariants with Transformers: Experimental Scalability and Accuracy Vivien Maisonneuve1 , Olivier Hermant2 and François Irigoin3 MINES ParisTech, France
Add to Reading List

Document Date: 2014-08-26 05:35:01

Open Document

File Size: 577,21 KB

Share Result on Facebook

Company

Intel / Table 1 Times / /

/

Facility

Integer Set Library / /

IndustryTerm

computing / /

Position

forward / /

ProgrammingLanguage

T / /

PublishedMedium

the User and IO times / Maisonneuve / /

Technology

artificial intelligence / /

URL

www.elsevier.com/locate/entcs / /

SocialTag