Scilab to C Translator with proofs o Autocoder with Proofs Prototype Built o Source: Scilab (very much like Matlab) o Target: c Language with ACSL annotations o Prototype mostly to test annotation translation
Autocoding control software with proofs I: Annotation translation
01.10.2011
1704373 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Autocoding in Automotive Software Development
British Library Conference Proceedings | 2005
|Autocoding in automotive software development
IET Digital Library Archive | 2005
|Autocoding sicherheitsrelevanter Software in der Luftfahrt
TIBKAT | 1999
|Autocoding and Dictionaries on SMAP and MSL
NTRS | 2014
|