Search results for: Alessandro Cimatti
Formal Aspects of Computing > 2019 > 31 > 1 > 59-94
Artificial Intelligence > 2018 > 256 > C > 1-34
Formal Methods in System Design > 2018 > 52 > 1 > 88-116
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Applications > 284-293
Lecture Notes in Computer Science > Computer Aided Verification > Session XVI: SAT and Decision Procedures > 532-546
Lecture Notes in Computer Science > Logic Program Synthesis and Transformation — Meta-Programming in Logic > 425-439
Formal Methods in System Design > 2016 > 49 > 3 > 190-218
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 527-541
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 557-571
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2007 > 334-339
Lecture Notes in Computer Science > Model Checking Software > PROMELA Encodings and Extensions > 90-107
Lecture Notes in Computer Science > Computer Aided Verification > Decision Procedures and Applications > 335-349
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Symbolic Analysis > 193-207
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Specification Languages > 505-518