Sfoglia per Autore
Improving the Encoding of LTL Model Checking into SAT
2002-01-01 Cimatti, Alessandro; Sebastiani, Roberto; Roveri, Marco; Pistore, Marco
NuSMV2: an Open Source Tool for Symbolic Model Checking
2002-01-01 Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Fausto; Pistore, Marco; Tacchella, Armando; Giunchiglia, Enrico; Roveri, Marco; Sebastiani, Roberto
Integrating BDD-based and SAT-based Symbolic Model Checking
2002-01-01 Cimatti, A.; Giunchiglia, E.; Pistore, Marco; Roveri, M.; Sebastiani, Roberto; Tacchella, A.
NuSMV 2: An opensource tool for symbolic model checking
2002-01-01 Cimatti, A.; Clarke, E.; Giunchiglia, E.; Giunchiglia, F.; Pistore, M.; Roveri, M.; Sebastiani, R.; Tacchella, A.
Improving the Encoding of LTL Model Checking into SAT
2002-01-01 Cimatti, A.; Pistore, Marco; Roveri, M.; Sebastiani, Roberto
Specifying and analyzing early requirements: some experimental results
2003-01-01 Fuxman, A.; Liu, L.; Pistore, Marco; Roveri, M.; Mylopoulos, Ioannis
Weak, strong, and strong cyclic planning via symbolic model checking
2003-01-01 Cimatti, A.; Pistore, Marco; Roveri, M.; Traverso, P.
Agent-oriented modeling by interleaving formal and informal specification
2003-01-01 Perini, Anna; Pistore, Marco; Roveri, Marco; Susi, Angelo
Towards a Framework for Supporting Negotiation between Global and Local Business Requirements
2004-01-01 Traverso, Paolo; Pistore, Marco; Roveri, Marco; Marconi, Annapaola; Kazhamiakin, Raman; P., Lucchese; Busetta, Paolo; Bertoli, Piergiorgio
Supporting the Negotiation between Global and Local Business Requirements in Service oriented Development
2004-01-01 Traverso, Paolo; Pistore, Marco; Roveri, Marco; Marconi, Annapaola; Kazhamiakin, Raman; P., Lucchese; Busetta, Paolo; Bertoli, Piergiorgio
Requirements-Driven Verification of Web Services
2004-01-01 Pistore, Marco; Roveri, Marco; Busetta, Paolo
A Framework for Integrating Business Processes and Business Requirements
2004-01-01 Kazhamiakin, R.; Pistore, M.; Roveri, M.
Specifying and analyzing early requirements in Tropos
2004-01-01 Fuxman, A.; Liu, L.; Mylopoulos, Ioannis; Pistore, Marco; Roveri, M.; Traverso, P.
Conformant Planning via Symbolic Model Checking and Heuristic Search
2004-01-01 Cimatti, Alessandro; Roveri, Marco; Bertoli, Piergiorgio
Bounded Verification of Past LTL
2004-01-01 Cimatti, A.; Roveri, M.; Sheridan, D.
Formal Verification of Requirements using Spin: A Case Study on Web Services
2004-01-01 Kazhamiakin, Raman; Pistore, Marco; Roveri, Marco
RAT: A tool for formal analysis of requirements
2006-01-01 Bloem, Roderick; Cimatti, Alessandro; Pill, Ingo; Roveri, Marco; Semprini, Simone; Tchaltsev, Andrei
Strong Planning under Partial Observability
2006-01-01 Bertoli, P.; Cimatti, A.; Roveri, M.; Traverso, P.
Formal analysis of hardware requirements
2006-01-01 Pill, I.; Semprini, S.; Cavada, R.; Roveri, M.; Bloem, R.; Cimatti, A.
From PSL to NBA: a Modular Symbolic Encoding
2006-01-01 Cimatti, Alessandro; Roveri, Marco; Semprini, Simone; Tonetta, Stefano
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile