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

Author(s):

Antonios Gouglidis ◽

Christos Grompanopoulos ◽

Anastasia Mavridou

Keyword(s):

Formal Verification ◽

Usage Control ◽

A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing - SAC '19 ◽

10.1145/3297280.3297460 ◽

2019 ◽

Cited By ~ 1

Author(s):

Christoph Luckeneder ◽

Hermann Kaindl

Keyword(s):

Formal Verification ◽

Physical Models ◽

Top Down

Investigation of Access Control Models with Formal Concept Analysis: A Case Study

2012 16th European Conference on Software Maintenance and Reengineering ◽

10.1109/csmr.2012.50 ◽

2012 ◽

Cited By ~ 1

Author(s):

François Gauthier ◽

Ettore Merlo

Keyword(s):

Access Control ◽

Formal Concept Analysis ◽

Concept Analysis ◽

Formal Concept ◽

Access Control Models ◽

Formal Verification of Health Assessment Tools: a Case Study

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2016.09.005 ◽

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

Specifying and verifying usage control models and policies in TLA$$^+$$

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-020-00600-0 ◽

2021 ◽

Author(s):

Christos Grompanopoulos ◽

Antonios Gouglidis ◽

Anastasia Mavridou

Keyword(s):

Usage Control ◽

Formal Verification of System Level Designs: A GSM Vocoder Case Study

2007 Canadian Conference on Electrical and Computer Engineering ◽

10.1109/ccece.2007.355 ◽

2007 ◽

Author(s):

Ghiath Al Sammane ◽

Otmane Ait Mohamed

Keyword(s):

Formal Verification ◽

System Level

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

IEEE Transactions on Reliability ◽

10.1109/tr.2015.2508559 ◽

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

Proactive Control Models for Input Reagents Consumption Management at Gold Processing Plant. Case Study: Ghanaian Mine, Tarkwa

New Horizons in Education and Social Studies Vol. 10 ◽

10.9734/bpi/nhess/v10/6096d ◽

2021 ◽

pp. 83-94

Author(s):

James Obiri-Yeboah

Keyword(s):

Processing Plant ◽

Proactive Control ◽

Gold Processing ◽

The generalized railroad crossing: a case study in formal verification of real-time systems

Proceedings Real-Time Systems Symposium REAL-94 ◽

10.1109/real.1994.342724 ◽

1994 ◽

Cited By ~ 71

Author(s):

Heitmeyer ◽

Lynch

Keyword(s):

Formal Verification ◽

Real Time ◽

Real Time Systems ◽

Time Systems

Proceedings of the 7th ACM SIGPLAN International Workshop on Functional High-Performance Computing - FHPC 2018 ◽

HELIX: a case study of a formal verification of high performance program generation

10.1145/3264738.3264739 ◽

2018 ◽

Author(s):

Vadim Zaliva ◽

Franz Franchetti

Keyword(s):

Formal Verification ◽

High Performance ◽

Program Generation

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development ◽

Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain

10.5220/0006291106790686 ◽

2017 ◽

Author(s):

Davide Basile ◽

Felicita Di Giandomenico ◽

Stefania Gnesi

Keyword(s):

Formal Verification ◽

Railway Domain