![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
DIFTS@FMCAD 2011: Austin, TX, USA
- Malay K. Ganai, Armin Biere:
Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011. CEUR Workshop Proceedings 832, CEUR-WS.org 2012
Session I: Tools
- Jiang Long, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton:
Enhancing ABC for stabilization verification of SystemVerilog/VHDL models. - Peter Fontana, Rance Cleaveland:
Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems. - Zyad Hassan, Yan Zhang, Fabio Somenzi:
A Study of Sweeping Algorithms in the Context of Model Checking.
Session II: Systems
- Konstantine Arkoudas, Ritu Chadha, C. Jason Chiang:
An Application of Formal Methods to Cognitive Radios. - Siert Wieringa:
On Incremental Satisfiability and Bounded Model Checking. - Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler:
metaSMT: Focus on Your Application not on Solver Integration.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.