default search action
Formal Methods in System Design, Volume 56
Volume 56, Number 1, December 2020
- Klaus Havelund, Doron Peled, Dogan Ulus:
First-order temporal logic monitoring with BDDs. 1-21 - Daniela Kaufmann, Armin Biere, Manuel Kauers:
Incremental column-wise verification of arithmetic circuits using computer algebra. 22-54 - Arnaud Sangnier, Nathalie Sznajder, Maria Potop-Butucaru, Sébastien Tixeuil:
Parameterized verification of algorithms for oblivious robots on a ring. 55-89 - Umang Mathur, Matthew S. Bauer, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Exact quantitative probabilistic model checking through rational search. 90-126 - William T. Hallahan, Ennan Zhai, Ruzica Piskac:
Automated repair by example for firewalls. 127-153 - Grigory Fedyukovich, Samuel J. Kaufman, Rastislav Bodík:
Learning inductive invariants by sampling from frequency distributions. 154-177
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.