scholarly journals Formal Verification With Frama-C: A Case Study in the Space Software Domain

2016 ◽  
Vol 65 (3) ◽  
pp. 1163-1179 ◽  
Author(s):  
Rovedy Aparecida Busquim e Silva ◽  
Nanci Naomi Arai ◽  
Luciana Akemi Burgareli ◽  
Jose Maria Parente de Oliveira ◽  
Jorge Sousa Pinto
Keyword(s):  
Formal Verification

scholarly journals Formal Verification of Health Assessment Tools: a Case Study

2016 ◽  
Vol 324 ◽  
pp. 31-50 ◽  
Author(s):  
Jonas Santos Bezerra ◽  
Andrei Costa ◽  
Leila Ribeiro ◽  
Érika Cota
Keyword(s):  
Formal Verification ◽  
Health Assessment ◽  
Assessment Tools

scholarly journals Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+

2018 ◽  
Vol 272 ◽  
pp. 52-64 ◽  
Author(s):  
Antonios Gouglidis ◽  
Christos Grompanopoulos ◽  
Anastasia Mavridou
Keyword(s):  
Formal Verification ◽  
Usage Control ◽  
Control Models

Formal Verification Of FIRE: A Case Study

2005 ◽  
Author(s):  
Jae-Young Jang ◽  
S. Qadeer ◽  
M. Kaufmann ◽  
C. Pixley
Keyword(s):  
Formal Verification
Sign in / Sign up

Export Citation Format

Share Document