Introduction to Model Checking (Q3176359)

From MaRDI portal

Jump to:navigation, search

scientific article

In more languages

Language	Label	Description	Also known as
English	Introduction to Model Checking	scientific article

Statements

scholarly article

Introduction to Model Checking (English)

Edmund M. Clarke

Thomas A. Henzinger

Handbook of Model Checking

publication date

20 July 2018

MaRDI profile type

MaRDI publication profile

full work available at URL

https://doi.org/10.1007/978-3-319-10575-8_1

Defining liveness

Verification of sequential and concurrent programs

Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.

Shield Synthesis:

Temporal Specifications with Accumulative Values

Introduction to Discrete Event Systems

From non-preemptive to preemptive scheduling using synchronization synthesis

Simulation distances

Quantitative abstraction refinement

LSCs: Breathing life into message sequence charts

“Sometimes” and “not never” revisited

25 years of model checking. History, achievements, perspectives

Statecharts: a visual formalism for complex systems

From Model Checking to Model Measuring

An axiomatic basis for computer programming

Model-Based Software Testing and Analysis with C#

Symbolic execution and program testing

Results on the propositional \(\mu\)-calculus

A completeness theorem in modal logic

Proving the Correctness of Multiprocess Programs

Time for verification. Essays in memory of Amir Pnueli

Isabelle/HOL. A proof assistant for higher-order logic

Software reliability methods. Foreword by Edmund M. Clarke

Learning programs from noisy data

Classes of Recursively Enumerable Sets and Their Decision Problems

Verification and Control of Hybrid Systems

Identifiers

zbMATH Open document ID

10.1007/978-3-319-10575-8_1

Mathematics Subject Classification ID

zbMATH DE Number

Sitelinks

Mathematics(1 entry)

mardi Publication:3176359

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3176359&oldid=36410128"