Software reliability methods. Foreword by Edmund M. Clarke
From MaRDI portal
Publication:5942575
zbMath0980.68014MaRDI QIDQ5942575
Publication date: 30 August 2001
Published in: Texts in Computer Science (Search for Journal in Brave)
first-order logicpropositional logic\(\omega\)-automataBüchi-automatalinear temporal logicprocess algebrasproof systems
Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (9)
Extracting unsatisfiable cores for LTL via temporal resolution ⋮ Precise specification matching for adaptive reuse in embedded systems ⋮ Introduction to Model Checking ⋮ Axiomatizing Lüttgen \& Vogler's ready simulation for finite processes in \(\mathrm{CLL}_{R}\) ⋮ Mafia: A theoretical study of players and coalitions in a partial information environment ⋮ Bounded semantics ⋮ Abstractions of data types ⋮ Scenario-Based Timing Consistency Checking for Time Petri Nets ⋮ Practical abstractions for automated verification of message passing concurrency
This page was built for publication: Software reliability methods. Foreword by Edmund M. Clarke
