Crossmark

A language-independent proof system for full program equivalence

Crossref DOI link: https://doi.org/10.1007/s00165-016-0361-7

Published Print: 2016-05

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Ciobâcă, Ştefan

Lucanu, Dorel

Rusu, Vlad

Roşu, Grigore
Funding

Funding for this research was provided by:

European Social Fun, Romanian Government (POSDRU/159/1.5/S/137750)

Boeing (Formal Analysis Tools for Cyber Security", 2014-2015)

NSF (CCF-1218605, CCF-1318191 and CCF-1421575)

SPAWAR Systems Center Pacific, Space and Naval Warfare Systems Command (FA8750-12-C-0284)
License Information

Version of Record valid from 2017-05-01

Text and Data Mining valid from 2016-05-01

Version of Record valid from 2016-05-01
More Information

Article History

Received: 2 June 2015

Accepted: 25 February 2016

First Online: 7 March 2016