Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDIFTS@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.
a service of 
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.
last updated on 2024-04-22 20:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
