JPAX
From MaRDI portal
swMATH9906MaRDI QIDQ21885FDOQ21885
Author name not available (Why is that?)
Official website: http://ti.arc.nasa.gov/m/pub-archive/archive/0262.pdf
Cited In (47)
- Title not available (Why is that?)
- Tools and Algorithms for the Construction and Analysis of Systems
- An extended account of contract monitoring strategies as patterns of communication
- Title not available (Why is that?)
- Combining test case generation and runtime verification
- Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
- Formal Approaches to Software Testing
- Title not available (Why is that?)
- Automation of the construction of models of normal program behavior
- Axiomatizing recursion-free, regular monitors
- Combining model checking and testing
- FoCs
- ADL
- Bandera
- Atomizer
- Eraser
- Velodrome
- ConTest
- HITEC
- SAL
- Contract
- Snugglebug
- Java-MOP
- MOP
- RiTHM
- Integrating a formal method into a software engineering process with UML and Java
- Looper
- Java-MaC
- Racket
- TreatJS
- StaRVOOrS
- jPredictor
- CATG
- AGEDIS
- Copilot
- Jass
- TGV
- Runtime verification of embedded real-time systems
- AMT
- Con2colic
- A brief account of runtime verification
- Mu-calculus path checking
- Efficient abstraction algorithms for predicate detection
- Analog property checkers: a DDR2 case study
- Time-triggered runtime verification
- Rewriting logic: Roadmap and bibliography
- A compiler for MSVL and its applications
This page was built for software: JPAX