A brief account of runtime verification (Q2390027): Difference between revisions

@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Monitoring of Real-Time Properties
@@ Property / cites work: Monitoring of Real-Time Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing LTL Semantics for Runtime Verification
@@ Property / cites work: Comparing LTL Semantics for Runtime Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Model-based testing of reactive systems. Advanced lectures.
+Normal rank
@@ Property / cites work @@
+A theory of contracts for web services
@@ Property / cites work: A theory of contracts for web services / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Safe Runtime Verification of Real-Time Properties
@@ Property / cites work: Safe Runtime Verification of Real-Time Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+LTL over integer periodicity constraints
@@ Property / cites work: LTL over integer periodicity constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
+Normal rank
@@ Property / cites work @@
+Impartial Anticipation in Runtime-Verification
@@ Property / cites work: Impartial Anticipation in Runtime-Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of the runtime verification tool Java PathExplorer
+Normal rank
@@ Property / cites work @@
+Q4472252
@@ Property / cites work: Q4472252 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of safety properties
@@ Property / cites work: Model checking of safety properties / rank @@
+Normal rank
@@ Property / cites work @@
+Run-Time Monitoring of Electronic Contracts
@@ Property / cites work: Run-Time Monitoring of Electronic Contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+From MITL to Timed Automata
@@ Property / cites work: From MITL to Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+A Formal Language for Electronic Contracts
@@ Property / cites work: A Formal Language for Electronic Contracts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4939602
@@ Property / cites work: Q4939602 / rank @@
+Normal rank
@@ Property / cites work @@
+Safety, liveness and fairness in temporal logic
@@ Property / cites work: Safety, liveness and fairness in temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Fault Diagnosis for Timed Automata
@@ Property / cites work: Fault Diagnosis for Timed Automata / rank @@
+Normal rank