library APIs / University of Copenhagen / Computer Science Aalborg University / /
IndustryTerm
model checking algorithm / bottom-up model checking algorithm / generic model checking algorithm / return site / transformation tools / path operator / program transformation tool / smu device / /
OperatingSystem
Linux / /
Organization
Aalborg University / Foundation for Flow-Based Program Matching Using Temporal Logic / CTL / European Union / University of Copenhagen / /
Person
Julia L. Lawall Gilles Muller / Julien Brunel Damien Doligez Ren / /
Position
AUTHOR / Driver / Model checking / Model / model / which can be very large / General / /
Product
SmPL / /
ProgrammingLanguage
C / /
ProvinceOrState
Georgia / /
Technology
bounded algorithm / bottom-up CTL-V model checking algorithm The algorithm / RAM / CTL model checking algorithm / Linux / model checking algorithm / API / completeness The model checking algorithm / CTL-VW model checking algorithm / CTL-V model checking algorithm / CTLV model checking algorithm / bounded SAT algorithm / CTL-VW The algorithm / dom / bottom-up model checking algorithm / generic model checking algorithm / /