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