Search Results for author:
Found 2 papers, 1 papers with code
Control-Flow Residual Analysis for Symbolic Automata
Where full static analysis of systems fails to scale up due to system size, dynamic monitoring has been increasingly used to ensure system correctness.
Logic in Computer Science Software Engineering
Explaining Violation Traces with Finite State Natural Language Generation Models
An essential element of any verification technique is that of identifying and communicating to the user, system behaviour which leads to a deviation from the expected behaviour.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
