Facebook
Youtube
Library
Studis
E-classroom
Schedules
Intranet
Contact
SL
Education
Nazaj
Undergraduate programmes
Computer and Information Science
Computer and Information Science
Computer and Information Science
Computer and Information Science
Computer Science and Mathematics
Computer Science and Mathematics
Multimedia
Multimedia
Administrative Information Systems
Administrative Information Systems
Double Degree Programme
Double Degree Programme
Additional year
Additional year
Transfer from old to new programme
Transfer from old to new programme
Master's programmes
Doctoral programmes
Computer and Information Science
Computer and Information Science
Biosciences
Biosciences
Mentors
Mentors
Double degree programme
Double degree programme
International Study Exchanges
Rules, Applications,Prices
Registering for exams
Enrolment
Frequently Asked Questions
Study Calendar
Student Office
Industrial Practice
Student Status
Research
Nazaj
Laboratories
Research projects
Seminars, conferences and graduations
Collaboration with the business sector
International involvement
Faculty and Students
JRC
JRC
After School
Nazaj
Summer schools and workshops
International Competitions
Student Council FRI
Robo League FRI
Sport
Band FRIdom
Alumni
Events
About
Prospective students
Library
Studis
E-classroom
Schedules
Intranet
Contact
Facebook
Youtube
SL
Education
Undergraduate programmes
Computer and Information Science
university study programme
Computer and Information Science
professional study programme
Computer Science and Mathematics
university interdisciplinary study programme
Multimedia
interdisciplinary university study programme
Administrative Information Systems
interdisciplinary university study programme
Double Degree Programme
Additional year
Transfer from old to new programme
Master's programmes
Doctoral programmes
Computer and Information Science
doctoral programme
Biosciences
interdisciplinary doctoral programme
Mentors
Double degree programme
International Study Exchanges
Rules, Applications,Prices
Registering for exams
Enrolment
Frequently Asked Questions
Study Calendar
Student Office
Industrial Practice
Student Status
Research
Laboratories
Research projects
Seminars, conferences and graduations
Collaboration with the business sector
International involvement
Faculty and Students
JRC
JRC
After School
Summer schools and workshops
International Competitions
Student Council FRI
Robo League FRI
Sport
Band FRIdom
Alumni
Events
About
Prospective students
Home
>
Raziskovalne storitve na podro ...
Research project
Raziskovalne storitve na področju raziskav in razvoja formalno preverjenih sistemov
The Client :
BEYOND SEMICONDUCTOR d.o.o.
Project duration:
2020 - 2021
Collaborators
Assist. Prof. dr. Andrej Brodnik, Vodja projekta na FRI
Assist. Prof. dr. Uroš Čibej, Sodelavec na projektu
Assist. Prof. dr. Jurij Mihelič, Sodelavec na projektu
Assist. Prof. dr. Boštjan Slivnik, Sodelavec na projektu
