Java-MaC

MaRDI QIDQ31823swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=972567

Described by source

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

Cited in

(22)

• ConSpec
• AspectWerkz
• A theory of monitors
• evt
• JPAX
• Time-triggered runtime verification
• Efficient abstraction algorithms for predicate detection
• Provably correct runtime monitoring
• InterAspect
• Java-MOP
• MOP
• A theory of monitors (extended abstract)
• Charon
• jPredictor
• Copilot
• J-LO
• TXP
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Computer Aided Verification
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Introduction to the special issue on runtime verification

This page was built for software: Java-MaC