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)

• A theory of monitors (extended abstract)
• 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
• Provably correct runtime monitoring
• Computer Aided Verification
• ConSpec
• AspectWerkz
• evt
• JPAX
• InterAspect
• Java-MOP
• MOP
• Charon
• jPredictor
• Copilot
• J-LO
• TXP
• 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