Back to Results
First PageMeta Content



Fundamenta Informaticae ??? (–19 1 IOS Press
Add to Reading List

Document Date: 2013-07-17 03:24:20

Open Document

File Size: 372,63 KB

Share Result on Facebook

City

Pescara / Rome / Lucca / /

Company

SBw / SSpBw1 / /

Country

Italy / /

/

Facility

IMT Institute / Specialization-based Verification Fabio Fioravanti University of Chieti-Pescara Viale Pindaro / Valerio Senni IMT Institute / Alberto Pettorossi University of Rome Tor Vergata Via del Politecnico / /

IndustryTerm

usual immediate consequence operator / infinite state reactive systems / reactive systems / reachability algorithms / immediate consequence operator / specialization algorithms / specialization algorithm / automatic verification tools / parametric specialization algorithm / /

Organization

University of Rome / IMT Institute for Advanced Studies Lucca / Verification Fabio Fioravanti University of Chieti-Pescara Viale Pindaro / Institute for Advanced Studies Lucca Piazza San Ponziano / /

Person

M. Proietti / V / Valerio Senni / Maurizio Proietti / Tor Vergata Via del Politecnico / /

Position

Forward Strategy / forward / /

Product

Generalize / /

Technology

reachability algorithms / parametric specialization algorithm / specialization algorithm / specialization algorithms / /

SocialTag