5 min read
Imiron launches SpecForge to monitor cyber-physical systems
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.