Java-MaC

swMATH20000MaRDI QIDQ31823FDOQ31823

Author name not available (Why is that?)

Described by source

• Java-MaC: A run-time assurance approach for Java programs

Cited In (10)

• Introduction to the special issue on runtime verification
• Tools and Algorithms for the Construction and Analysis of Systems
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• A Theory of Monitors
• Provably correct runtime monitoring
• Computer Aided Verification
• A theory of monitors
• Efficient abstraction algorithms for predicate detection
• Time-triggered runtime verification
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for software: Java-MaC