JPAX
From MaRDI portal
Software:21885
swMATH9906MaRDI QIDQ21885FDOQ21885
Author name not available (Why is that?)
Cited In (20)
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- An extended account of contract monitoring strategies as patterns of communication
- Title not available (Why is that?)
- Combining test case generation and runtime verification
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Formal Approaches to Software Testing
- Title not available (Why is that?)
- Automation of the construction of models of normal program behavior
- Axiomatizing recursion-free, regular monitors
- Integrating a formal method into a software engineering process with UML and Java
- Runtime verification of embedded real-time systems
- A brief account of runtime verification
- Mu-calculus path checking
- Combining Model Checking and Testing
- Efficient abstraction algorithms for predicate detection
- Analog property checkers: a DDR2 case study
- Time-triggered runtime verification
- Rewriting logic: Roadmap and bibliography
- A compiler for MSVL and its applications
This page was built for software: JPAX
