Java-MaC: A run-time assurance approach for Java programs
From MaRDI portal
Publication:1878917
DOI10.1023/B:FORM.0000017719.43755.7czbMath1073.68552MaRDI QIDQ1878917
Insup Lee, MoonZoo Kim, Oleg Sokolsky, Sampath Kannan, Mahesh Viswanathan
Publication date: 9 September 2004
Published in: Formal Methods in System Design (Search for Journal in Brave)
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (11)
Provably correct runtime monitoring ⋮ Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances ⋮ Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning ⋮ First-order temporal logic monitoring with BDDs ⋮ Time-triggered runtime verification ⋮ Combining test case generation and runtime verification ⋮ Introduction to the special issue on runtime verification ⋮ A Theory of Monitors ⋮ A theory of monitors ⋮ Java-MaC ⋮ Efficient abstraction algorithms for predicate detection
Uses Software
This page was built for publication: Java-MaC: A run-time assurance approach for Java programs
