- Home
- Publications
- Publication Search
- Publication Details
Title
A manifesto for applicable formal methods
Authors
Keywords
-
Journal
Software and Systems Modeling
Volume -, Issue -, Pages -
Publisher
Springer Science and Business Media LLC
Online
2023-08-18
DOI
10.1007/s10270-023-01124-2
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- Development Use Cases for Semantics-Driven Modeling Languages
- (2023) Manfred Broy et al. COMMUNICATIONS OF THE ACM
- Qualification of proof assistants, checkers, and generators: Where are we and what next?
- (2023) Mario Gleirscher et al. SCIENCE OF COMPUTER PROGRAMMING
- Formal Methods in Railways: a Systematic Mapping Study
- (2022) Alessio Ferrari et al. ACM COMPUTING SURVEYS
- The End of Programming
- (2022) Matt Welsh COMMUNICATIONS OF THE ACM
- Code‐level model checking in the software development workflow at Amazon Web Services
- (2021) Nathan Chong et al. SOFTWARE-PRACTICE & EXPERIENCE
- Software professionals, malpractice law, and codes of ethics
- (2021) Bryan H. Choi COMMUNICATIONS OF THE ACM
- The dogged pursuit of bug-free C programs
- (2021) Patrick Baudin et al. COMMUNICATIONS OF THE ACM
- Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design
- (2021) Alessio Ferrari et al. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
- seL4 in Australia
- (2020) Gernot Heiser et al. COMMUNICATIONS OF THE ACM
- A manifesto for Reality-based Safety Science
- (2020) Andrew Rae et al. SAFETY SCIENCE
- Formal methods in dependable systems engineering: a survey of professionals from Europe and North America
- (2020) Mario Gleirscher et al. EMPIRICAL SOFTWARE ENGINEERING
- Scaling static analyses at Facebook
- (2019) Dino Distefano et al. COMMUNICATIONS OF THE ACM
- From LCF to Isabelle/HOL
- (2019) Lawrence C. Paulson et al. FORMAL ASPECTS OF COMPUTING
- How Amazon web services uses formal methods
- (2015) Chris Newcombe et al. COMMUNICATIONS OF THE ACM
- A decade of software model checking with SLAM
- (2011) Thomas Ball et al. COMMUNICATIONS OF THE ACM
- Software model checking takes off
- (2010) Steven P. Miller et al. COMMUNICATIONS OF THE ACM
- Really Rethinking 'Formal Methods'
- (2010) David Lorge Parnas COMPUTER
- A Logical Basis for Component-Oriented Software and Systems Engineering
- (2010) M. Broy COMPUTER JOURNAL
- Formal verification of a realistic compiler
- (2009) Xavier Leroy COMMUNICATIONS OF THE ACM
Create your own webinar
Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.
Create NowBecome a Peeref-certified reviewer
The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.
Get Started