Formal Methods in System Design
ISSN:
0925-9856
Country:
United States
ES-FAC
ES-FAC C
Eurascience Journal Classification System
📄 Articles published in this journal
- A scalable anytime algorithm for learning fragments of linear temporal logic 2026
- Preface of the special issue on the Conference on Computer-Aided Verification 2022 2025
- Bounded satisfiability checking of $$\hbox {FOL}^*$$ formulas with aggregations 2025
- Rounding meets approximate model counting 2025
- Variable automata over infinite alphabets 2025
- Hypercontracts 2025
- Golem: a flexible and efficient solver for constrained Horn clauses 2025
- Awaiting for Godot: stateless model checking that avoids executions where nothing happens 2025
- Correction: Hypercontracts 2025
- A scalable entropy estimator 2025