fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Verified software

Verified software

by VSTTE 2010 (2010 Edinburgh, Scotland)

ProgrammverifikationFormale MethodeProgrammtestCongressesVerification
0.0
Open Library
Open Library

Themes & subjects

ProgrammverifikationFormale MethodeProgrammtestCongressesVerificationComputer programs

Setting

Edinburgh <2010>

Author

VSTTE 2010 (2010 Edinburgh, Scotland)

Pages

215

Read time

≈ 5h

Editions

1

Language

English

Publisher

Springer

ISBN

9783642150562

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

The design of well-structured and correct programs

Computer programming · Pascal (Computer program language)

The design of well-structured and correct programs

Suad Alagić

1978

Verification, model checking, and abstract interpretation

Computer programs · Congresses

Verification, model checking, and abstract interpretation

VMCAI 2004 (2004 Venice, Italy)

2004

Verification of sequential and concurrent programs

Verification · Computer software

Verification of sequential and concurrent programs

Krzysztof R. Apt

1991

Programming Languages and Systems

Logic design · Software engineering

Programming Languages and Systems

Zhenjiang Hu

2009

A survey of verification techniques for parallel programs

Parallel processing (Electronic computers) · Verification

A survey of verification techniques for parallel programs

Howard Barringer

1985

Constructing correct software

Development · Computer software

Constructing correct software

Cooke, John

1998

Verifiable programming

Computer programs · Verification

Verifiable programming

Ole-Johan Dahl

1992

Semantik und Programmverifikation

Programmverifikation · Formale Semantik

Semantik und Programmverifikation

Christoph Walther

2001

Static Analysis

Datenfluss · Programmtest

Static Analysis

SAS <11, 2004, Verona>

2004

Formal methods

Programmanalyse · Programmverifikation

Formal methods

Keijiro Araki

2003

Programmentwicklung und Verifikation

Verifikation (Datenverarbeitung) · Programmverifikation

Programmentwicklung und Verifikation

Gerald Futschek

1989

Programmverifikation

Programmverifikation

Programmverifikation

Krzysztof R. Apt

1994

Software verification and validation

Computer software · Validation

Software verification and validation

Michael S. Deutsch

1982

Programming languages and systems

Bisimulation · Programmverifikation

Programming languages and systems

APLAS 2008 (2008 Bangalore, India)

2008

Universal Semantic Communication

Information theory · Computer network architectures

Universal Semantic Communication

Brendan Juba

2011

Formal Methods for Components and Objects

Logic design · Computer science

Formal Methods for Components and Objects

Frank S. de Boer

2010

Formal modeling and analysis of timed systems

Machine theory · Automates temporels

Formal modeling and analysis of timed systems

Wang Yi

2005

Language Engineering And Rigorous Software Development

Computer simulation · Information Systems

Language Engineering And Rigorous Software Development

Luis Soares Barbosa

2009