default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Aspects of Computing, Volume 34
Volume 34, Number 1, March 2022
- Andreas Humenberger, Daneshvar Amrollahi
, Nikolaj S. Bjørner, Laura Kovács:
Algebra-Based Reasoning for Loop Synthesis. 1-31 - Stefan Bodenmüller, Gerhard Schellhorn, Wolfgang Reif:
Verification of Crashsafe Caching in a Virtual File System Switch. 1-33 - Brijesh Dongol, Elena Troubitsyna:
Introduction to the Special Section on iFM 2020. 1 - Stella Simic, Alberto Bemporad, Omar Inverso, Mirco Tribastone:
Tight Error Analysis in Fixed-point Arithmetic. 1-32 - Cliff B. Jones, Martyn Thomas:
The Development and Deployment of Formal Methods in the UK. 1-21 - Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, Jim Woodcock:
A Survey of Practical Formal Methods for Security. 1-39
Volume 34, Number 2, June 2022
- Blair Archibald, Muffy Calder, Michele Sevegnani:
Probabilistic Bigraphs. 1-27 - Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee:
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring. 1-31 - Diego Marmsoler:
Review on Modelling and Verification of Secure Exams: By Rosario Giustolisi Springer, Cham, 2018, X, 133 pp, ISBN: 9783319671062 (Hardback, £89.99), ISBN: 9783030097899 (Paperback, £64.99), ISBN: 9783319671079 (eBook, £51.99). 1-3 - Greg Michaelson:
Review of Formal Methods: An Appetizer: By Flemming Nielson and Hanne Riis Nielson Springer, 2019, ISBN 978-3-030-05155-6, https: //link.springer.com/book/10.1007/978-3-030-05156-3, pp. 1-160. 1-2 - Hichem Debbi:
A Debugging Game for Probabilistic Models. 1-25 - Reinhard Wilhelm:
Principles of Abstract Interpretation: By Patrick Cousot MIT Press, 2021, ISBN 9780262044905, pp. 1-819. Reviewed by Reinhard Wilhelm. 1-3 - Samuel Coward, Lawrence C. Paulson, Theo Drane, Emiliano Morini:
Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover. 1-22
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.
last updated on 2025-03-01 15:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
