Formal Methods: An Appetizer.

Research output: Book/ReportBook

Abstract

This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity.

Original languageEnglish
PublisherSpringer
Number of pages170
ISBN (Print)978-3-030-05155-6
DOIs
Publication statusPublished - 2019

Keywords

  • Program Graphs
  • Program Verification
  • Program Analysis
  • Language-Based Security
  • Model Checking
  • Concurrency
  • F#
  • Formal Methods
  • Semantics

Cite this

@book{4a6e2597f2dd4bb2b21728e8c115cfaa,
title = "Formal Methods: An Appetizer.",
abstract = "This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity.",
keywords = "Program Graphs, Program Verification, Program Analysis, Language-Based Security, Model Checking, Concurrency, F#, Formal Methods, Semantics",
author = "Flemming Nielson and Nielson, {Hanne Riis}",
year = "2019",
doi = "10.1007/978-3-030-05156-3",
language = "English",
isbn = "978-3-030-05155-6",
publisher = "Springer",

}

Formal Methods : An Appetizer. . / Nielson, Flemming; Nielson, Hanne Riis.

Springer, 2019. 170 p.

Research output: Book/ReportBook

TY - BOOK

T1 - Formal Methods

T2 - An Appetizer.

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

PY - 2019

Y1 - 2019

N2 - This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity.

AB - This textbook is an introduction to the use of formal methods ranging from semantics of key programming constructs to techniques for the analysis and verification of programs. The authors use program graphs as the mechanism for representing the control structure of programs in order to find a balance between generality and conceptual complexity.

KW - Program Graphs

KW - Program Verification

KW - Program Analysis

KW - Language-Based Security

KW - Model Checking

KW - Concurrency

KW - F#

KW - Formal Methods

KW - Semantics

U2 - 10.1007/978-3-030-05156-3

DO - 10.1007/978-3-030-05156-3

M3 - Book

SN - 978-3-030-05155-6

BT - Formal Methods

PB - Springer

ER -