×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [runtime verification]
Home >
runtime verification
Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing Christian Colombo, Mark Micallef, Mark Scerri.
215 views
1 Welcome to CS 119 Reliable Software: Testing and Monitoring First half of lectures will cover testing Taught by me (
[email protected]
)
[email protected]
.
212 views
Mobile Code Security Evaluation Presented by: Chan Hing Wing, Anthony April 26, 1999 Room 1027, SHB, CUHK.
216 views
Windows Debugging and Troubleshooting
1.353 views
MaC Monitoring and Checking at Runtime Presented By Usa Sammapun CIS 700 Oct 10, 2005.
219 views
Page 1 Runtime Verification and Software Fault Protection with Eagle Allen Goldberg Klaus Havelund Kestrel Technology Palo Alto, USA.
219 views
Dongyun Jin , Patrick Meredith, Dennis Griffith, Grigore Rosu
15 views
Model-Based Design and Verification of Embedded Systems
27 views
Runtime Verification and Validation for Multi-Core Based On-Board Computing Hans P. Zima and Mark L. James Jet Propulsion Laboratory, California Institute.
213 views
Runtime Verification of C Programs with Inspiration from AOP Klaus Havelund Jet Propulsion Laboratory Pasadena, USA.
216 views
В.П. Иванников, А.С. Камкин М.М. Чупилко
50 views
Model-Based Design and Verification of Embedded Systems
33 views
Next >