Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -

2017 ◽  
pp. 391-406 ◽  
Author(s):  
Danilo Bruschi ◽  
Andrea Di Pasquale ◽  
Silvio Ghilardi ◽  
Andrea Lanzi ◽  
Elena Pagani
Keyword(s):  
Model Checking ◽  
Formal Verification ◽  
Address Resolution Protocol

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

Verification of Medical Guidelines by Model Checking – A Case Study

2006 ◽  
pp. 219-233 ◽  
Author(s):  
Simon Bäumler ◽  
Michael Balser ◽  
Andriy Dunets ◽  
Wolfgang Reif ◽  
Jonathan Schmitt
Keyword(s):  
Model Checking ◽  
Medical Guidelines

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 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
Sign in / Sign up

Export Citation Format

Share Document