Pages that link to "Item:Q1878917"
From MaRDI portal
The following pages link to Java-MaC: A run-time assurance approach for Java programs (Q1878917):
Displayed 11 items.
- Java-MaC (Q31823) (← links)
- Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning (Q457250) (← links)
- Combining test case generation and runtime verification (Q555778) (← links)
- A theory of monitors (Q2051767) (← links)
- First-order temporal logic monitoring with BDDs (Q2225472) (← links)
- Time-triggered runtime verification (Q2248067) (← links)
- Efficient abstraction algorithms for predicate detection (Q2357148) (← links)
- Provably correct runtime monitoring (Q2390029) (← links)
- A Theory of Monitors (Q2811337) (← links)
- Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances (Q3510818) (← links)
- Introduction to the special issue on runtime verification (Q5920295) (← links)