skip to main content
research-article

The verified software initiative: A manifesto

Published: 09 October 2009 Publication History
First page of PDF

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Computing Surveys
ACM Computing Surveys  Volume 41, Issue 4
October 2009
157 pages
ISSN:0360-0300
EISSN:1557-7341
DOI:10.1145/1592434
Issue’s Table of Contents
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 October 2009
Published in CSUR Volume 41, Issue 4

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article
  • Research
  • Refereed

Funding Sources

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)14
  • Downloads (Last 6 weeks)2
Reflects downloads up to 17 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2023)A manifesto for applicable formal methodsSoftware and Systems Modeling (SoSyM)10.1007/s10270-023-01124-222:6(1737-1749)Online publication date: 1-Dec-2023
  • (2021)List of Tony Hoare’s PublicationsTheories of Programming10.1145/3477355.3477375(395-410)Online publication date: 4-Oct-2021
  • (2021)Verification in the Grand ChallengeTheories of Programming10.1145/3477355.3477363(125-156)Online publication date: 4-Oct-2021
  • (2020)Towards a Broader Acceptance of Formal Verification ToolsThe Impact of the 4th Industrial Revolution on Engineering Education10.1007/978-3-030-40271-6_20(188-200)Online publication date: 18-Mar-2020
  • (2019)New Opportunities for Integrated Formal MethodsACM Computing Surveys10.1145/335723152:6(1-36)Online publication date: 16-Oct-2019
  • (2018)System and Architecture Level Characterization of Big Data Applications on Big and Little Core Server ArchitecturesACM Transactions on Modeling and Performance Evaluation of Computing Systems10.1145/32290493:3(1-32)Online publication date: 23-Jul-2018
  • (2018)Efficiency and Optimality of Largest Deficit First PrioritizationACM Transactions on Modeling and Performance Evaluation of Computing Systems10.1145/32004793:3(1-29)Online publication date: 13-Jun-2018
  • (2018)CloudHeatACM Transactions on Modeling and Performance Evaluation of Computing Systems10.1145/31996753:3(1-31)Online publication date: 13-Jun-2018
  • (2016)Towards Medical Systems to Aid the Detection and Treatment of Chronic DiseasesHandbook of Research on Trends in the Diagnosis and Treatment of Chronic Conditions10.4018/978-1-4666-8828-5.ch003(50-69)Online publication date: 2016
  • (2016)BSP-WhyInternational Journal of Parallel Programming10.1007/s10766-015-0360-y44:3(574-597)Online publication date: 1-Jun-2016
  • Show More Cited By

View Options

Login options

Full Access

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media