|
СТ |
Bounded Model Checking in Software Using SMT Solvers Instead of SAT Solvers |
2006 |
Armando A., Mantovani J., Platania L. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
23.05.2006 |
|
СТ |
Software Model Checking Using Linear Constraints |
2004 |
Armando A., Castellini C., Mantovani J. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
26.02.2005 |
|
СТ |
Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning |
1900 |
Armando A., Compagna L. |
|
|
|
Lecture Notes in Computer Science |
29.11.2002 |
|
СТ |
Proving Formulas through Reduction to Decidable Classes |
1993 |
Di Manzo M., Giunchiglia E., Armando A., Pecchiari P. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.12.1993 |
|
СТ |
Building and Executing Proof Strategies in a Formal Metatheory |
1993 |
Armando A., Cimatti A., Vigano L. |
|
|
|
Lecture Notes in Artificial Intelligence |
11.12.1993 |
