Java-MaC

swMATH20000MaRDI QIDQ31823

No author found.

Described by source

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

Related Items (10)

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

This page was built for software: Java-MaC