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
2011-10-01
1704373 byte
Conference paper
Electronic Resource
English
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
|