Specifications for Embedded Software
Verification Tool and Unified Specifications for Embedded Software
FREE-DOWNLOAD [PDF] S Yatabe – 2009 Software Technologies for Future Dependable …, 2009
In the extended abstract, our on-going research project Verification Tool and Unified Specifications
for Embedded Software is explained. In the project, we are developing an upper-process support
tool that helps ones formalize spec- ifications of embedded software and verify a certain