5 min read
Monitoring Data-Dependent Temporal Patterns
Formal specs, especially temporal logic, are crucial for system correctness. Data-dependent extensions like first-order logic and value freezing are needed. SpecForge is a framework for these.
1 article
Formal specs, especially temporal logic, are crucial for system correctness. Data-dependent extensions like first-order logic and value freezing are needed. SpecForge is a framework for these.