Pages that link to "Item:Q5901902"
From MaRDI portal
The following pages link to Verification, Model Checking, and Abstract Interpretation (Q5901902):
Displaying 24 items.
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks (Q548484) (← links)
- Combining test case generation and runtime verification (Q555778) (← links)
- Scalable offline monitoring of temporal specifications (Q681469) (← links)
- Analysing neurobiological models using communicating automata (Q736844) (← links)
- Monitoring of temporal first-order properties with aggregations (Q888414) (← links)
- Automation of the construction of models of normal program behavior (Q1758718) (← links)
- Axiomatizing recursion-free, regular monitors (Q2141297) (← links)
- First-order temporal logic monitoring with BDDs (Q2225472) (← links)
- Time-triggered runtime verification (Q2248067) (← links)
- Compositional verification of asynchronous concurrent systems using CADP (Q2350492) (← links)
- A brief account of runtime verification (Q2390027) (← links)
- Monitorability for the Hennessy-Milner logic with recursion (Q2402551) (← links)
- Verifying data- and control-oriented properties combining static and runtime verification: theory and tools (Q2402555) (← links)
- Monitoring Metric First-Order Temporal Properties (Q2796403) (← links)
- A Logical Approach to Data-Aware Automated Sequence Generation (Q2889859) (← links)
- Parametric Trace Slicing and Monitoring (Q3617763) (← links)
- Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL (Q5206953) (← links)
- Efficient Runtime Verification of First-Order Temporal Properties (Q5883570) (← links)
- Decentralized runtime verification of message sequences in message-based systems (Q6042075) (← links)
- Assumption-based runtime verification (Q6102167) (← links)
- Lang-n-Send Extended: Sending Regular Expressions to Monitors (Q6122642) (← links)
- Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic (Q6151620) (← links)
- Runtime verification of real-time event streams using the tool HStriver (Q6185821) (← links)
