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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
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
This page was built for publication: Software reliability methods. Foreword by Edmund M. Clarke
