Links

    VSTTE (vstte)

    C++
    Eiffel
    Java
    Meta-Environment
    Variability-Aware Analysis
    abstraction
    analysis
    compiler
    completeness
    consistency
    constraints
    context-aware
    data-flow
    design
    digital libraries
    digital library
    feature-oriented programming
    generic programming
    graph transformation
    graph-rewriting
    incremental
    logic
    logic programming
    meta programming
    meta-model
    meta-objects
    metatheory
    mobile
    modal logic
    model checking
    object-oriented programming
    object-role modeling
    program analysis
    program verification
    programming
    programming languages
    refinement
    reliability
    reusable components
    reuse
    rewriting
    rewriting logic
    rule-based
    security
    software engineering
    static analysis
    subject-oriented programming
    systematic-approach
    testing
    transformation
    transformation system
    Aaron Stump
    Aditya V. Nori
    Alessandro Coglio
    Alexandra Tsyban
    Alexey Loginov
    Ali Sezgin
    Allen Goldberg
    Andreas Podelski
    Andrew Ireland
    Andy Galloway
    Angela Wallenburg
    Anindya Banerjee
    Anthony Hall
    Anubhav Gupta
    Arie Gurfinkel
    Arnaud Venet
    Artem Starostin
    Aryldo G. Russo
    Aysu Betin-Can
    Bart Jacobs 0002
    Benjamin C. Pierce
    Benny Godlin
    Bernhard K. Aichernig
    Bernhard Steffen
    Bertrand Meyer
    Bican Xia
    Brian Hackett
    Bruce M. Adcock
    Bruce W. Weide
    Burkhart Wolff
    Carlo A. Furia
    Carsten Schürmann
    Chaochen Zhou
    Christopher A. Rouff
    Cliff B. Jones
    Clément Hurlin
    Colin O Halloran
    Cordell Green
    Curtis Clifton
    Daniel Jackson
    Daniel Kroening
    Daniel Leivant
    David A. Naumann
    David Evans
    David Frazier
    David Melski
    Denis Gopan
    Derek Bronish
    Dhammika Elkaduwe
    Dirk Leinenbach
    Douglas R. Smith
    Edmund M. Clarke
    Edu Metz
    Egon Börger
    Elena Petrova
    Eran Yahav
    Eric C. R. Hehner
    Eyad Alkassar
    Frantz Iwu
    Ganesan Ramalingam
    Gary T. Leavens
    George Karabotsos
    Gerard J. Holzmann
    Gerwin Klein
    Gogul Balakrishnan
    Gopal Raghavan
    Graham Steel
    Greg Dennis
    Greta Yorsh
    Grigore Rosu
    Heather K. Harton
    Helmut Veith
    Herman Venter
    Himanshu Jain
    Ian Toyn
    J. Strother Moore
    James L. Rash
    Jan Dörrenbächer
    Jason Kirschenbaum
    Jayadev Misra
    Jian Zhang
    Jifeng He
    Joey W. Coleman
    John C. Reynolds
    John Field
    John McDermid
    John Rushby
    Joseph A. Goguen
    Joseph R. Kiniry
    José Meseguer
    Julien Vanegue
    K. Rustan M. Leino
    Karen Zee
    Kathi Fisler
    Kazuhiro Ogata
    Kevin Elphinstone
    Klaus Havelund
    Koichi Takahashi
    Kokichi Futatsugi
    Kuat Yessenov
    Laurent Théry
    Lu Yang
    Madhu Gopinathan
    Magnus O. Myreen
    Manuel Fähndrich
    Mareike Schmidt
    Mark A. Hillebrand
    Mark Bickford
    Mark J. Wheelhouse
    Mark Utting
    Marsha Chechik
    Martin C. Rinard
    Masami Hagiya
    Mats Per Erik Heimdahl
    Matthew J. Parkinson
    Matthias Daum
    Michael Barnett
    Michael G. Hinchey
    Michael Jastram
    Michael Leuschel
    Mike Reed
    Mitsuharu Yamamoto
    Mooly Sagiv
    Moshe Y. Vardi
    Murali Sitaraman
    Myla Archer
    Nadia Polikarpova
    Naijun Zhan
    Noam Rinetzky
    Norbert Schirmer
    Nurit Dor
    Ofer Strichman
    Panagiotis Manolios
    Paolo Bucci
    Patrice Chalin
    Patrick Cousot
    Patrick Lam
    Perry R. James
    Peter Müller
    Peter Sewell
    Peter W. O Hearn
    Philippa Gardner
    R. Venkatesh
    Rafal Kolanski
    Raimondas Lencevicius
    Rajeev Alur
    Rajeev Joshi
    Ramesh Bharadwaj
    Reinhard Wilhelm
    Robert DeLine
    Roman Manevich
    Rosemary Monahan
    Serdar Tasiran
    Shaz Qadeer
    Shriram Krishnamurthi
    Shuvendu K. Lahiri
    Sriram K. Rajamani
    Stan Rosenberg
    Stefan Hallerstede
    Stephanie Weirich
    Steve Zdancewic
    Tal Lev-Ami
    Tevfik Bultan
    Thomas Ball
    Thomas Dinsdale-Young
    Thomas Hubbard
    Thomas W. Reps
    Tim Teitelbaum
    Tiziana Margaria
    Tom Ridge
    Tony Hoare
    Toshifusa Sekizawa
    Viktor Kuncak
    Wayne D. Heym
    Willem-Paul de Roever
    Wolfgang J. Paul
    Wolfgang Paul
    Wolfram Schulte
    Xinyu Feng
    Yoshifumi Yuasa
    Yoshinori Tanabe
    Yu Guo
    Yuan Dong
    Yves Bertot
    Zhiming Liu
    Zhong Shao
    runs on