Verification of Sequential and Concurrent Programs

Computer programs are an indispensable part of ...

Real-Time Systems

Real-time systems need to react to certain inpu...

Provably Correct Systems

As computers increasingly control the systems a...

Programmverifikation

Correct System Design

Computers are gaining more and more controle ov...

Verification of Sequential and Concurrent Programs

A major challenge for computer science is to de...

Verification of Sequential and Concurrent Programs

This book provides a structured introduction to...

Formal Techniques in Real-Time and Fault-Tolerant Systems

This volume contains the proceedings of FTRTFT ...

Model Checking, Synthesis, and Learning

This Festschrift, dedicated to Bengt Jonsson on...

Programmverifikation

Dieses Buch bietet als erstes Lehrbuch eine sys...

Provably Correct Systems

As computers increasingly control the systems a...

Correct System Design

Computers are gaining more and more control ove...