Skip to main content
Main navigation mobile
Home
About FRIS
Partners
Figures
Classifications
News
Contact us
FAQ
Nederlands
Secundaire navigatie
Show — Secundaire navigatie
Hide — Secundaire navigatie
Contact us
FAQ
Nederlands
Main navigation
Home
About FRIS
Partners
Figures
Classifications
News
All results
Chosen filters:
Formal Verification
Universities
Remove all filters
Chosen filters:
Formal Verification
Universities
Remove all filters
Search results
Pagination
Current page
1
Page
2
Page
3
Page
4
Page
5
…
Next page
Next ›
›
Last page
Last »
»
Researchers
(1 - 5 of 20)
Search term:
Fulltext search
Search
Bart Jacobs
Guillermo Alberto Perez
Tom Holvoet
Lucas Albertins de Lima
Andreas Weiermann
Organisations
(1 - 5 of 6)
Search term:
Fulltext search
Department of Decision Sciences and Information Management, Leuven
Informatics Section
Software Languages Lab
Studies in Media, Innovation and Technology
Distributed and Secure Software (DistriNet)
Projects
(1 - 5 of 60)
Search term:
Fulltext search
Certified semi-automated modular formal program verification
Certified semi-automated modular formal program verification
Annotation Inference for Modular Formal Software Verification
Modular Formal Verification of Total Correctness Properties of Concurrent Imperative Programs
Modular formal verification of expressive low-level object-oriented programming languages
Publications
(1 - 5 of 137)
Search term:
Fulltext search
Generating inductive shape predicates for runtime checking and formal verification
Efficient design and evaluation of countermeasures against fault attacks using formal verification
Formal verification of developer tests
Formal verification techniques for model transformations
Sound formal verification of Linux's USB BP keyboard driver
Patents
Search term:
Fulltext search
No results found.
Infrastructures
Search term:
Fulltext search
No results found.
Datasets
Search term:
Fulltext search
No results found.
Pagination
Current page
1
Page
2
Page
3
Page
4
Page
5
…
Next page
Next ›
›
Last page
Last »
»