Browsing by Subject Computer programs -- Correctness
Showing results 1 to 9 of 9
Issue Date | Title | Author(s) |
2012-11 | Combining testing and runtime verification | Colombo, Christian |
2012 | Combining testing and runtime verification techniques | Falzon, Kevin; Pace, Gordon J. |
2013-11 | Equivalence proofs for Erlang refactoring | Tanti, Erica; Francalanza, Adrian |
2015 | On verifying Hennessy-Milner logic with recursion at runtime | Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna |
2005 | Source-level runtime validation through interval temporal logic | D’Emanuele, Karlston; Pace, Gordon J. |
2016 | StaRVOOrS - episode II : strengthen and distribute the force | Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo |
2015 | StaRVOOrS : a tool for combined static and runtime verification of Java | Chimento, Jesús Mauricio; Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo |
2004 | The use of model-checking for the verification of concurrent algorithms | Cordina, Joseph |
2013-11 | The way forward for DETECTER | Francalanza, Adrian; Seychell, Aldrin; Cassar, Ian; Cutajar, Kurt; Said, Simon; Schembri, Blanche |