Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Daryl Stewart |
Formal for everyone - Challenges in achievable multicore design and verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 186, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Dirk Beyer 0001, Philipp Wendler |
Algorithms for software model checking: Predicate abstraction vs. Impact. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 106-113, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Magnus O. Myreen, Michael J. C. Gordon, Konrad Slind |
Decompilation into logic - Improved. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 78-81, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Yang Yang, Lei Bu, Xuandong Li |
Forward and backward: Bounded model checking of linear hybrid automata from two directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 204-208, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Brian Keng, Andreas G. Veneris |
Automated debugging of missing input constraints in a formal verification environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 101-105, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Eric Feron |
Formal methods for aerospace applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 3, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Jiazhao Xu, Mark Williams, Hari Mony, Jason Baumgartner |
Enhanced reachability analysis via automated dynamic netlist-based hint generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 157-164, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
Verification of parametric system designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 122-130, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Koen Claessen, Niklas Sörensson |
A liveness checking algorithm that counts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 52-59, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Alexey Lvov, Luis Alfonso Lastras-Montaño, Viresh Paruthi, Robert Shadowen, Ali El-Zein |
Formal verification of error correcting circuits using computational algebraic geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 141-148, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Eugene Goldberg, Panagiotis Manolios |
Quantifier elimination by Dependency Sequents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 34-43, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Rohit Sinha 0001, Cynthia Sturton, Petros Maniatis, Sanjit A. Seshia, David A. Wagner 0001 |
Verification with small and short worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 68-77, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Leopold Haller, Alberto Griggio, Martin Brain, Daniel Kroening |
Deciding floating-point logic with systematic abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 131-140, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Alessandro Cimatti |
Application of SMT solvers to hybrid system verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 4, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Yan Zhang 0027, Sriram Sankaranarayanan 0001, Fabio Somenzi |
Piecewise linear modeling of nonlinear devices for formal verification of analog circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 196-203, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | V. M. Achutha KiranKumar, Aarti Gupta, Rajnish Ghughal |
Symbolic Trajectory Evaluation: The primary validation Vehicle for next generation Intel® Processor Graphics FPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 149-156, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Arnab Sinha, Sharad Malik, Aarti Gupta |
Efficient predictive analysis for detecting nondeterminism in multi-threaded programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 6-15, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Yakir Vizel, Orna Grumberg, Sharon Shoham |
Lazy abstraction and SAT-based reachability in hardware model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 173-181, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Jason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari Mony |
IC3-guided abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 182-185, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Warren A. Hunt Jr., Matt Kaufmann |
A formal model of a large memory that supports efficient execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 60-67, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Rüdiger Ehlers, Robert Könighofer, Georg Hofferek |
Symbolically synthesizing small circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 91-100, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Stefan Frehse, Görschwin Fey, Eli Arbel, Karen Yorav, Rolf Drechsler |
Complete and effective robustness checking by means of interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 82-90, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Vineet Kahlon |
Automatic lock insertion in concurrent programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 16-23, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Gianpiero Cabodi, Satnam Singh (eds.) |
Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![IEEE, 978-1-4673-4832-4 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
A quantifier-free SMT encoding of non-linear hybrid automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 187-195, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Jasmin Fisher |
Formal methods in cell Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 1, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Othmane Rezine, Jari Stenman |
Multi-pushdown systems with budgets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 24-33, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Krystof Hoder, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov |
Preprocessing techniques for first-order clausification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 44-51, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Torsten Schaub |
Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 2, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Tony Hoare |
Algebra of concurrent design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 5, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Chao Yan 0001, Mark R. Greenstreet |
Oscillator verification with probability one. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 165-172, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Ondrej Sery, Grigory Fedyukovich, Natasha Sharygina |
Incremental upgrade checking by means of interpolation-based function summaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2012, Cambridge, UK, October 22-25, 2012, pp. 114-121, 2012, IEEE, 978-1-4673-4832-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
1 | Muralidhar Talupur |
Hardware model checking: status, challenges, and opportunities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 154, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Umair Siddique, Osman Hasan |
Formal analysis of fractional order systems in HOL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 163-170, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Kenneth L. McMillan |
Interpolants from Z3 proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 19-27, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Per Bjesse, Anna Slobodová (eds.) |
International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![FMCAD Inc., 978-0-9835678-1-3 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Anton Belov, João Marques-Silva 0001 |
Accelerating MUS extraction with recursive model rotation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 37-40, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Alessandro Cimatti, Sergio Mover, Stefano Tonetta |
Proving and explaining the unfeasibility of message sequence charts for hybrid systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 54-62, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Jayanand Asok Kumar, Lingyi Liu, Shobha Vasudevan |
Scaling probabilistic timing verification of hardware using abstractions in design source code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 196-205, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Brad D. Bingham, Mark R. Greenstreet, Jesse D. Bingham |
Parameterized verification of deadlock freedom in symmetric cache coherence protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 186-195, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Charlie Shucheng Zhu, Georg Weissenbacher, Sharad Malik |
Post-silicon fault localisation using maximum satisfiability and backbones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 63-66, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | John Hughes |
Specification based testing with QuickCheck: tutorial talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 17, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Fabio Somenzi, Aaron R. Bradley |
IC3: where monolithic and incremental meet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 3-8, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Steven M. German |
A theory of abstraction for arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 176-185, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Sudarshan K. Srinivasan, Raj S. Katti |
Desynchronization: design for verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 215-222, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Jonathan Kotker, Dorsa Sadigh, Sanjit A. Seshia |
Timing analysis of interrupt-driven programs under context bounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 81-90, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Harsh Raju Chamarthi, Panagiotis Manolios |
Automated specification analysis using an interactive theorem prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 46-53, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia |
Learning conditional abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 116-124, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | John Havlicek, Scott Little |
Realtime regular expressions for analog and mixed-signal assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 155-162, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | J Strother Moore |
The role of human creativity in mechanized verification: invited talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 18, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Niklas Eén, Alan Mishchenko, Robert K. Brayton |
Efficient implementation of property directed reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 125-134, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Alberto Griggio |
Effective word-level interpolation for software verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 28-36, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Aaron R. Bradley, Fabio Somenzi, Zyad Hassan, Yan Zhang 0027 |
An incremental approach to model checking progress properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 144-153, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Lee Pike |
Pervasive formal verification in control system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 206, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman |
Approximate reachability with combined symbolic and ternary simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 109-115, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Sagar Chaki, Arie Gurfinkel, Ofer Strichman |
Time-bounded analysis of real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 72-80, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Panagiotis Manolios, Vasilis Papavasileiou |
Pseudo-Boolean Solving by incremental translation to SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 41-45, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Michael L. Case, Jason Baumgartner, Hari Mony, Robert Kanzelman |
Optimal redundancy removal without fixedpoint computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 101-108, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Louis Mandel, Florence Plateau, Marc Pouzet |
Static scheduling of latency insensitive designs with Lucy-n. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 171-175, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Aarti Gupta |
Verifying concurrent programs: tutorial talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 1, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Jun Sawada, Peter Sandon, Viresh Paruthi, Jason Baumgartner, Michael L. Case, Hari Mony |
Hybrid verification of a hardware modular reduction engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 207-214, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Prashant Aggarwal, Darrow Chu, Vijay Kadamby, Vigyan Singhal |
Planning for end-to-end formal using simulation-based coverage: invited tutorial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 9-16, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Mohamed Abdul Basith, Tariq B. Ahmad, André Rossi, Maciej J. Ciesielski |
Algebraic approach to arithmetic design verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 67-71, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Robert Könighofer, Roderick Bloem |
Automated error localization and correction for imperative programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 91-100, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Freek Verbeek, Julien Schmaltz |
Hunting deadlocks efficiently in microarchitectural models of communication fabrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 223-231, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Ivan E. Sutherland |
Self-timing: a step beyond synchrony (tutorial talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 2, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo |
Incremental formal verification of hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011, pp. 135-143, 2011, FMCAD Inc., 978-0-9835678-1-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP BibTeX RDF |
|
1 | Christoph M. Wintersteiger, Youssef Hamadi, Leonardo Mendonça de Moura |
Efficiently solving quantified bit-vector formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 239-246, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Warren A. Hunt Jr. |
Verifying VIA Nano microprocessor components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 3-10, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Joseph Sifakis |
Embedded systems design - Scientific challenges and work directions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 11, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Malay K. Ganai |
Propelling SAT and SAT-based BMC using careset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 231-238, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Thomas Ball, Ella Bounimova, Rahul Kumar 0002, Vladimir Levin |
SLAM2: Static driver verification with under 4% false alarms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 35-42, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Viresh Paruthi |
Large-scale application of formal verification: From fiction to fact. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 175-180, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Nishant Sinha 0001 |
Modular bug detection with inertial refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 199-206, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Massimo Roselli |
Impacting verification closure using formal analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 271, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Michael Kuperstein 0001, Martin T. Vechev, Eran Yahav |
Automatic inference of memory fences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 111-119, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, Alexander Nadel |
SAT-based semiformal verification of hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 25-32, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Michael Siegel |
Achieving earlier verification closure using advanced formal verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 275, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | ShengYu Shen, Ying Qin, Jianmin Zhang, Sikun Li |
A halting algorithm to determine the existence of decoder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 91-99, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Hana Chockler |
PINCETTE - Validating changes and upgrades in networked software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 277, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Anders Franzén, Alessandro Cimatti, Alexander Nadel, Roberto Sebastiani, Jonathan Shalev |
Applying SMT in symbolic execution of microcode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 121-128, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Niklas Eén, Alan Mishchenko, Nina Amla |
A single-instance incremental SAT formulation of proof- and counterexample-based abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 181-188, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Jason Baumgartner, Michael L. Case, Hari Mony |
Coping with Moore's Law (and more): Supporting arrays in state-of-the-art model checkers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 61-69, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Jun Sawada |
Automatic verification of estimate functions with polynomials of bounded functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 151-158, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Alexander Nadel |
Boosting minimal unsatisfiable core extraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 221-229, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Sumit Gulwani |
Dimensions in program synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 1, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Alessandro Cimatti, Andrea Micheli, Iman Narasamdya, Marco Roveri |
Verifying SystemC: A software model checking approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 51-59, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Joakim Urdahl, Dominik Stoffel, Jörg Bormann, Markus Wedler, Wolfgang Kunz |
Path predicate abstraction by complete interval property checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 207-215, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Peter Böhm |
A framework for incremental modelling and verification of on-chip protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 159-166, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | B. A. Krishna, Anamaya Sullerey, Alok Jain |
Formal verification of an ASIC ethernet switch block. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 13-20, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Dirk Beyer 0001, M. Erkan Keremoglu, Philipp Wendler |
Predicate abstraction with adjustable-block encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 189-197, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Ulrich Kühne, Sven Beyer, Jörg Bormann, John Barstow |
Automated formal verification of processors based on architectural models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 129-136, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Lopamudra Sen, Amit Roy, Supriya Bhattacharjee, Bijitendra Mittra, Subir K. Roy |
DFT logic verification through property based formal methods - SOC to IP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 33, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
Incremental component-based construction and verification using invariants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 257-256, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul |
Verifying shadow page table algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 267-270, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan 0001, Nishant Sinha 0001, Chao Wang 0001 |
Scalable and precise program analysis at NEC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 273-274, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Leopold Haller, Satnam Singh |
Relieving capacity limits on FPGA-based SAT-solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 217-220, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Johannes Kinder, Helmut Veith |
Precise static analysis of untrusted driver binaries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 43-50, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev |
Modular specification and verification of interprocess communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 167-174, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
1 | Moshe Emmer, Zurab Khasidashvili, Konstantin Korovin, Andrei Voronkov |
Encoding industrial hardware verification problems into effectively propositional logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2010, Lugano, Switzerland, October 20-23, pp. 137-144, 2010, IEEE, 978-1-4577-0734-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|