The development and research in the domain of Slovenian speech technology is crucial for recognition of Slovenian language in the European space as well as for the design of new applications supporting the technologies of the next generation telecommunication systems. Developed robust speech processing, acoustic and especially language modelling methods, as well as multilingual recognition enable development of isolated word recognition systems to be used in commercial voice driven telecommunication services, developed for Slovenian language. Development of algorithms that encounter inflectional nature of Slovenian language makes the research up-to-date also in comparison with the state-of-the-art in the field. Crosslingual speech recognition research area is very important for the development of speech technology in Slovenia, as it enables the development of speech recogniser without the need for extensive speech resources for Slovenian language. The results demonstrate that the knowledge and capabilities necessary for development of verification tools and use of formal methods for ensuring better quality of produced hardware and software is available in Slovenia. It is up to their producers to decide to use formal methods.