Search results for: Klaus Havelund
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 3 > 247-248
Formal Methods in System Design > 2018 > 53 > 1 > 54-82
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Frameworks and Formalization > 114-122
Lecture Notes in Computer Science > SPIN Model Checking and Software Verification > Papers > 245-264
Lecture Notes in Computer Science > Formal Methods for Real-Time and Probabilistic Systems > Modeling and Verification of Real-Time Systems > 277-298
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model Checking and Testing > 342-356
Lecture Notes in Computer Science > Runtime Verification > Core Runtime Verification Papers > 111-125
Lecture Notes in Computer Science > Testing of Software and Communicating Systems > General Software Testing > 7-22
Lecture Notes in Computer Science > Hardware and Software, Verification and Testing > PADTAD > 208-223