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

DOI10.1023/B:FORM.0000017719.43755.7CMaRDI QIDQ1878917zbMATH OpenFDO

Authors MoonZoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky

Publication date 9 September 2004

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://repository.upenn.edu/cgi/viewcontent.cgi?article=1076&context=cis_papers

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Provably correct runtime monitoring
• Foundations for the run-time monitoring of reactive systems -- fundamentals of the MaC language
• An overview of the runtime verification tool Java PathExplorer
• Java-MOP: A monitoring oriented programming environment for Java
• Formal analysis of Java programs in JavaFAN

Cited in

(14)

• An overview of the runtime verification tool Java PathExplorer
• A theory of monitors
• Integrating formal specifications into applications: the ProB Java API
• First-order temporal logic monitoring with BDDs
• Time-triggered runtime verification
• Efficient abstraction algorithms for predicate detection
• Provably correct runtime monitoring
• A theory of monitors (extended abstract)
• Java-MaC
• Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances
• Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning
• Combining test case generation and runtime verification
• Java-MOP: A monitoring oriented programming environment for Java
• Introduction to the special issue on runtime verification

Describes a project that uses

Uses Software

• Bandera
• Charon

This page was built for publication: Java-MaC: A run-time assurance approach for Java programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1878917)