Article

Data Flow Analysis as Model Checking

Author:

Bernhard SteffenAuthors Info & Claims

TACS '91: Proceedings of the International Conference on Theoretical Aspects of Computer Software

Pages 346 - 365

Published: 24 September 1991 Publication History

Abstract

No abstract available.

Cited By

View all

Karna AChen YYu HZhong HZhao J(2018)The role of model checking in software engineeringFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-016-6192-012:4(642-668)Online publication date: 1-Aug-2018
https://dl.acm.org/doi/10.1007/s11704-016-6192-0
Brandt JSchneider KBai Y(2014)Passive code in synchronous programsACM Transactions on Embedded Computing Systems10.1145/2544375.254438713:2s(1-25)Online publication date: 27-Jan-2014
https://dl.acm.org/doi/10.1145/2544375.2544387
Lim JReps T(2013)TSLACM Transactions on Programming Languages and Systems10.1145/2450136.245013935:1(1-59)Online publication date: 1-Apr-2013
https://dl.acm.org/doi/10.1145/2450136.2450139
Show More Cited By

Data Flow Analysis as Model Checking
1. Software and its engineering
  1. Software organization and properties
    1. Software functional properties
      1. Formal methods
2. Theory of computation
  1. Semantics and reasoning
    1. Program reasoning

Recommendations

Comments

Information & Contributors

Information

Published In

TACS '91: Proceedings of the International Conference on Theoretical Aspects of Computer Software

September 1991

771 pages

ISBN:3540544151

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 24 September 1991

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

52
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Karna AChen YYu HZhong HZhao J(2018)The role of model checking in software engineeringFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-016-6192-012:4(642-668)Online publication date: 1-Aug-2018
https://dl.acm.org/doi/10.1007/s11704-016-6192-0
Brandt JSchneider KBai Y(2014)Passive code in synchronous programsACM Transactions on Embedded Computing Systems10.1145/2544375.254438713:2s(1-25)Online publication date: 27-Jan-2014
https://dl.acm.org/doi/10.1145/2544375.2544387
Lim JReps T(2013)TSLACM Transactions on Programming Languages and Systems10.1145/2450136.245013935:1(1-59)Online publication date: 1-Apr-2013
https://dl.acm.org/doi/10.1145/2450136.2450139
Shonle MGriswold WLerner S(2012)A framework for the checking and refactoring of crosscutting conceptsACM Transactions on Software Engineering and Methodology10.1145/2211616.221161821:3(1-47)Online publication date: 3-Jul-2012
https://dl.acm.org/doi/10.1145/2211616.2211618
Zhang FNielson FNielson H(2012)Model checking as static analysisProceedings of the 9th international conference on Integrated Formal Methods10.1007/978-3-642-30729-4_8(99-112)Online publication date: 15-Jun-2012
https://dl.acm.org/doi/10.1007/978-3-642-30729-4_8
Alur RChaudhuri SMadhusudan P(2011)Software model checking using languages of nested treesACM Transactions on Programming Languages and Systems10.1145/2039346.203934733:5(1-45)Online publication date: 23-Nov-2011
https://dl.acm.org/doi/10.1145/2039346.2039347
Hague MOng C(2010)Analysing mu-calculus properties of pushdown systemsProceedings of the 17th international SPIN conference on Model checking software10.5555/1928137.1928156(187-192)Online publication date: 27-Sep-2010
https://dl.acm.org/doi/10.5555/1928137.1928156
Ramsey NDias JPeyton Jones S(2010)HooplACM SIGPLAN Notices10.1145/2088456.186353945:11(121-134)Online publication date: 30-Sep-2010
https://dl.acm.org/doi/10.1145/2088456.1863539
Ramsey NDias JPeyton Jones SGibbons J(2010)HooplProceedings of the third ACM Haskell symposium on Haskell10.1145/1863523.1863539(121-134)Online publication date: 30-Sep-2010
https://dl.acm.org/doi/10.1145/1863523.1863539
Van Wyk EBodin DGao JKrishnan L(2010)SilverScience of Computer Programming10.1016/j.scico.2009.07.00475:1-2(39-54)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.1016/j.scico.2009.07.004
Show More Cited By

View Options

View options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

Bounded Model Checking de Programas Imperativos  / Bounded Model Checking of Imperative Programs

A Framework For Digital Model Checking

Big data e data analysis: visualização de informação / Big Data and Data Analysis: Information Visualization

Comments

Published In

Publisher

Publication History

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

Abstract

Cited By

Recommendations

Bounded Model Checking de Programas Imperativos&#xa0; / Bounded Model Checking of Imperative Programs

A Framework For Digital Model Checking

Big data e data analysis: visualização de informação / Big Data and Data Analysis: Information Visualization

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations

Bounded Model Checking de Programas Imperativos / Bounded Model Checking of Imperative Programs