What is it about?
Specification and validation of reconfigurable dynamic systems.
Featured Image
Why is it important?
It proposes a second order logic for the specification of families of system configurations and an associated runtime verification technique.
Perspectives
We currently apply these results to the specification and validation of autonomous transport systems.
JOSEPH SIFAKIS
Universite Grenoble Alpes
Read the Original
This page is a summary of: A temporal configuration logic for dynamic reconfigurable systems, March 2021, ACM (Association for Computing Machinery),
DOI: 10.1145/3412841.3442017.
You can read the full text:
Contributors
The following have contributed to this page
