JPAX
From MaRDI portal
Software:21885
No author found.
Related Items (20)
Rewriting logic: Roadmap and bibliography ⋮ A compiler for MSVL and its applications ⋮ Axiomatizing recursion-free, regular monitors ⋮ Combining Model Checking and Testing ⋮ Unnamed Item ⋮ Tools and Algorithms for the Construction and Analysis of Systems ⋮ A brief account of runtime verification ⋮ Formal Approaches to Software Testing ⋮ An extended account of contract monitoring strategies as patterns of communication ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Runtime verification of embedded real-time systems ⋮ Time-triggered runtime verification ⋮ Automation of the construction of models of normal program behavior ⋮ Integrating a formal method into a software engineering process with UML and Java ⋮ Combining test case generation and runtime verification ⋮ Analog property checkers: a DDR2 case study ⋮ Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation ⋮ Mu-calculus path checking ⋮ Efficient abstraction algorithms for predicate detection
This page was built for software: JPAX
