Verification, Model Checking, and Abstract Interpretation
From MaRDI portal
Publication:5901902
DOI10.1007/b94790zbMath1202.68243OpenAlexW3146639584MaRDI QIDQ5901902
No author found.
Publication date: 15 May 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b94790
Related Items
Efficient Runtime Verification of First-Order Temporal Properties ⋮ Foundations of Boolean stream runtime verification ⋮ A Logical Approach to Data-Aware Automated Sequence Generation ⋮ Axiomatizing recursion-free, regular monitors ⋮ A brief account of runtime verification ⋮ Monitorability for the Hennessy-Milner logic with recursion ⋮ Verifying data- and control-oriented properties combining static and runtime verification: theory and tools ⋮ Monitoring of temporal first-order properties with aggregations ⋮ Decentralized runtime verification of message sequences in message-based systems ⋮ Assumption-based runtime verification ⋮ Lang-n-Send Extended: Sending Regular Expressions to Monitors ⋮ Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic ⋮ Runtime verification of real-time event streams using the tool HStriver ⋮ First-order temporal logic monitoring with BDDs ⋮ Scalable offline monitoring of temporal specifications ⋮ Time-triggered runtime verification ⋮ Automation of the construction of models of normal program behavior ⋮ CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks ⋮ Combining test case generation and runtime verification ⋮ Monitoring Metric First-Order Temporal Properties ⋮ Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL ⋮ Parametric Trace Slicing and Monitoring ⋮ Analysing neurobiological models using communicating automata ⋮ Compositional verification of asynchronous concurrent systems using CADP
