|
Search the dblp DataBase
Amit Palti:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Zurab Khasidashvili, Alexander Nadel, Amit Palti, Ziyad Hanna
Simultaneous SAT-Based Model Checking of Safety Properties. [Citation Graph (0, 0)][DBLP] Haifa Verification Conference, 2005, pp:56-75 [Conf]
- Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Ziyad Hanna, Zurab Khasidashvili, Amit Palti, Roberto Sebastiani
Encoding RTL Constructs for MathSAT: a Preliminary Report. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:144, n:2, pp:3-14 [Journal]
- Roberto Bruttomesso, Alessandro Cimatti, Anders Franzén, Alberto Griggio, Ziyad Hanna, Alexander Nadel, Amit Palti, Roberto Sebastiani
A Lazy and Layered SMT($\mathcal{BV}$) Solver for Hard Industrial Verification Problems. [Citation Graph (0, 0)][DBLP] CAV, 2007, pp:547-560 [Conf]
Search in 0.001secs, Finished in 0.001secs
|