标题
A manifesto for applicable formal methods
作者
关键词
-
出版物
Software and Systems Modeling
Volume -, Issue -, Pages -
出版商
Springer Science and Business Media LLC
发表日期
2023-08-18
DOI
10.1007/s10270-023-01124-2
参考文献
相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。- 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
Find the ideal target journal for your manuscript
Explore over 38,000 international journals covering a vast array of academic fields.
SearchCreate your own webinar
Interested in hosting your own webinar? Check the schedule and propose your idea to the Peeref Content Team.
Create Now