. "Generative Programming with Support Formal Verification"@en . "316106" . . . . . . "4"^^ . . "Generative Programming with Support Formal Verification"@en . "Lausanne, \u0160v\u00FDcarsko" . . "S" . "IEEE" . "This paper presents a novel approach to software development, mainly useful for embedded devices. Embedded software is described in a progamming language with very high level of abstraction. Efficient production code is generated from this description; also code suitable for formal verification is generated. The paper investigates efficiency of both the verifiable and the production code." . . "New York" . . "embedded devices; formal verification; python; generative programming"@en . "This paper presents a novel approach to software development, mainly useful for embedded devices. Embedded software is described in a progamming language with very high level of abstraction. Efficient production code is generated from this description; also code suitable for formal verification is generated. The paper investigates efficiency of both the verifiable and the production code."@en . . "000278758700010" . "RIV/49777513:23520/09:00502386!RIV11-MSM-23520___" . "1"^^ . . "1"^^ . "Pa\u0161ka, Marek" . . "RIV/49777513:23520/09:00502386" . "2009-01-01+01:00"^^ . "978-1-4244-4109-9" . . "Generative Programming with Support Formal Verification" . . "[17634CDB281C]" . . "23520" . "Generative Programming with Support Formal Verification" . "2009 IEEE International Symposium Embedded Systems" .