Search results for "Bounded Model Checking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Liang Xu, Wei Chen 0018, Yanyan Xu, Wenhui Zhang	Improved Bounded Model Checking for the Universal Fragment of CTL.	J. Comput. Sci. Technol.	2009	DBLP DOI BibTeX RDF	model checking algorithm, ACTL, SAT, software verification, bounded model checking
3	Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler	Contradictory antecedent debugging in bounded model checking.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	formal verification, debugging, bounded model checking, psl
3	Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro	A Metric Encoding for Bounded Model Checking.	FM	2009	DBLP DOI BibTeX RDF	Bounded model checking, metric temporal logic
3	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002	Compositional encoding for bounded model checking.	Frontiers of Computer Science in China	2008	DBLP DOI BibTeX RDF	Communication Sequential Processes (CSP), Linear Temporal Logic (LTL), bounded model checking
3	Jun Sun 0001, Yang Liu 0003, Jin Song Dong, Jing Sun 0002	Bounded Model Checking of Compositional Processes.	TASE	2008	DBLP DOI BibTeX RDF	Compositional Processes, Tool, Bounded Model Checking
3	Jinji Yang, Kaile Su, Qingliang Chen	Improving Encoding Efficiency for Bounded Model Checking.	TASE	2008	DBLP DOI BibTeX RDF	encoding, SAT, Bounded Model Checking
3	Zhi-Hong Tao, Cong-Hua Zhou, Zhong Chen, Li-Fu Wang	Bounded Model Checking of CTL.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	symbolic model checking, bounded model checking, QBF, CTL*
3	Martin Fränzle, Christian Herde	HySAT: An efficient proof engine for bounded model checking of hybrid systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Verification, Hybrid systems, Satisfiability, Decision procedures, Bounded model checking, Infinite-state systems
3	Tobias Schüle, Klaus Schneider	Bounded model checking of infinite state systems.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Temporal logic hierarchy, Global model checking, Local model checking, Bounded model checking, Infinite state systems
3	Zhenyu Chen, Zhihong Tao, Baowen Xu, Lifu Wang	Implication-Based Approximating Bounded Model Checking.	FSEN	2007	DBLP DOI BibTeX RDF	Approximation, Abstraction, Bounded Model Checking, Implication
3	Daniel Große, Ulrich Kühne, Rolf Drechsler	HW/SW co-verification of embedded systems using bounded model checking.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	hardware/software co-verification, embedded systems, formal verification, SystemC, bounded model checking, PSL
3	Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds	Verification of Multi-agent Systems Via Bounded Model Checking.	Australian Conference on Artificial Intelligence	2006	DBLP DOI BibTeX RDF	temporal epistemic logic, bounded semantics, multi-agent systems, bounded model checking
3	Mohammad Awedh, Fabio Somenzi	Automatic invariant strengthening to prove properties in bounded model checking.	DAC	2006	DBLP DOI BibTeX RDF	SAT, bounded model checking
3	Keijo Heljanko, Tommi A. Junttila, Misa Keinänen, Martin Lange, Timo Latvala	Bounded Model Checking for Weak Alternating Büchi Automata.	CAV	2006	DBLP DOI BibTeX RDF	Weak Alternating Büchi Automata, Bounded Model Checking, PSL, NuSMV
3	Keijo Heljanko, Tommi A. Junttila, Timo Latvala	Incremental and Complete Bounded Model Checking for Full PLTL.	CAV	2005	DBLP DOI BibTeX RDF	PLTL, Complete, Bounded Model Checking, Incremental, NuSMV
3	Xiangyu Luo, Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv	Bounded model checking knowledge and branching time in synchronous multi-agent systems.	AAMAS	2005	DBLP DOI BibTeX RDF	bounded semantics, temporal epistemic logic, translation to SAT, bounded model checking
3	Timo Latvala, Armin Biere, Keijo Heljanko, Tommi A. Junttila	Simple Is Better: Efficient Bounded Model Checking for Past LTL.	VMCAI	2005	DBLP DOI BibTeX RDF	Past LTL, Bounded Model Checking, NuSMV
3	Ofer Strichman	Accelerating Bounded Model Checking of Safety Properties.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	SAT, Bounded Model Checking
3	Chao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi	Refining the SAT decision ordering for bounded model checking.	DAC	2004	DBLP DOI BibTeX RDF	decision heuristic, SAT, bounded model checking
2	Lucas Cordeiro, Bernd Fischer 0002, João Marques-Silva	Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking.	ECBS	2010	DBLP DOI BibTeX RDF	Embedded Software Verification, Bounded Model Checking, Satisfiability Modulo Theories
2	Zhi Fang, Lejian Liao, Ruoyu Chen	Bounded Model Checking for Web Service Discovery and Composition.	SNPD	2010	DBLP DOI BibTeX RDF	Web Service Composition, Bounded Model Checking, Web Service Discovery
2	Elena Dubrova, Maxim Teslenko, Liu Ming	Finding Attractors in Synchronous Multiple-Valued Networks Using SAT-Based Bounded Model Checking.	ISMVL	2010	DBLP DOI BibTeX RDF	multiple-valued network, SAT, bounded model checking, gene regulatory network, attractor
2	Lucas Cordeiro	SMT-based bounded model checking for multi-threaded software in embedded systems.	ICSE	2010	DBLP DOI BibTeX RDF	SAT modulo theories, formal software verification, multicore systems, computer-aided verification
2	Rastislav Bodík, Satish Chandra, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor	Programming with angelic nondeterminism.	POPL	2010	DBLP DOI BibTeX RDF	angelic non-determinism, constraints, refinement, traces, bounded model-checking
2	Alessandro Armando, Jacopo Mantovani, Lorenzo Platania	Bounded model checking of software using SMT solvers instead of SAT solvers.	STTT	2009	DBLP DOI BibTeX RDF
2	Lucas Cordeiro, Bernd Fischer 0002, João Marques-Silva	SMT-Based Bounded Model Checking for Embedded ANSI-C Software.	ASE	2009	DBLP DOI BibTeX RDF	Embedded ANSI-C Software, Bounded Model Checking, Satisfiability Modulo Theories
2	Vendula Hrubá, Bohuslav Krena, Tomás Vojnar	Self-healing Assurance Based on Bounded Model Checking.	EUROCAST	2009	DBLP DOI BibTeX RDF
2	Wei Chen 0018, Wenhui Zhang	Bounded Model Checking of ACTL Formulae.	TASE	2009	DBLP DOI BibTeX RDF
2	Rotem Oshman	An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking.	VMCAI	2009	DBLP DOI BibTeX RDF
2	Ralf Wimmer, Bettina Braitling, Bernd Becker	Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.	VMCAI	2009	DBLP DOI BibTeX RDF
2	Antti Valmari	Software model checking is a rich research field.	STTT	2009	DBLP DOI BibTeX RDF	Distributed model checking, Directed model checking, Satisfiability, Symbolic execution, Bounded model checking, State space, Partial-order methods
2	Andy Jinqing Yu, Gianfranco Ciardo, Gerald Lüttgen	Decision-diagram-based techniques for bounded reachability checking of asynchronous systems.	STTT	2009	DBLP DOI BibTeX RDF	Edge-valued decision diagrams, Petri net, Formal verification, BDDs, Reachability analysis, Bounded model checking, Asynchronous design, ADDs
2	Daniel Große, Ulrich Kühne, Rolf Drechsler	Analyzing Functional Coverage in Bounded Model Checking.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
2	Robert Wille, Görschwin Fey, Marc Messing, Gerhard Angst, Lothar Linhard, Rolf Drechsler	Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking.	DSD	2008	DBLP DOI BibTeX RDF
2	Tommi A. Junttila, Jori Dubrovin	Encoding Queues in Satisfiability Modulo Theories Based Bounded Model Checking.	LPAR	2008	DBLP DOI BibTeX RDF
2	Heike Wehrheim	Bounded Model Checking for Partial Kripke Structures.	ICTAC	2008	DBLP DOI BibTeX RDF
2	Marcelo Finger, Renata Wassermann	Revising Specifications with CTL Properties Using Bounded Model Checking.	SBIA	2008	DBLP DOI BibTeX RDF	Model-checking, formal specification, belief revision, CTL
2	Jefferson O. Andrade, Yukiyoshi Kameyama	A Direct Algorithm for Multi-valued Bounded Model Checking.	ATVA	2008	DBLP DOI BibTeX RDF
2	Tatsuhiro Tsuchiya, André Schiper	Using Bounded Model Checking to Verify Consensus Algorithms.	DISC	2008	DBLP DOI BibTeX RDF
2	Liang Xu	SMT-Based Bounded Model Checking for Real-Time Systems (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	real-time systems, SMT, BMC
2	Bernd Becker, Marc Herbstritt, Natalia Kalinnik, Matthew D. T. Lewis, Juri Lichtner, Tobias Nopper, Ralf Wimmer	Propositional approximations for bounded model checking of partial circuit designs.	ICCD	2008	DBLP DOI BibTeX RDF
2	Xueqi Cheng, Michael S. Hsiao	Ant Colony Optimization directed program abstraction for software bounded model checking.	ICCD	2008	DBLP DOI BibTeX RDF
2	Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro	Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.	ICTAC	2008	DBLP DOI BibTeX RDF	bi-infinite words and automata, Bounded model checking, metric temporal logic
2	Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna	Disk Based Software Verification via Bounded Model Checking.	APSEC	2007	DBLP DOI BibTeX RDF
2	Ulrich Kühne, Daniel Große, Rolf Drechsler	Improving the Quality of Bounded Model Checking by Means of Coverage Estimation.	ISVLSI	2007	DBLP DOI BibTeX RDF
2	Hugo Barros, Sérgio Vale Aguiar Campos, Mark A. J. Song, Luis E. Zárate	Exploring Clause Symmetry in a Distributed Bounded Model Checking Algorithm.	ECBS	2007	DBLP DOI BibTeX RDF
2	Conghua Zhou, Shiguang Ju	SAT-based Bounded Model Checking for SE-LTL.	SNPD	2007	DBLP DOI BibTeX RDF
2	David Walter, Scott Little, Chris J. Myers	Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver.	ATVA	2007	DBLP DOI BibTeX RDF
2	Rotem Oshman, Orna Grumberg	A New Approach to Bounded Model Checking for Branching Time Logics.	ATVA	2007	DBLP DOI BibTeX RDF
2	Daniel Große, Ulrich Kühne, Rolf Drechsler	Estimating functional coverage in bounded model checking.	DATE	2007	DBLP DOI BibTeX RDF
2	Shoham Ben-David, Richard J. Trefler, Grant E. Weddell	Bounded Model Checking with Description Logic Reasoning.	TABLEAUX	2007	DBLP DOI BibTeX RDF
2	Federico Mari, Enrico Tronci	CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
2	Wenhui Zhang	Verification of ACTL Properties by Bounded Model Checking.	EUROCAST	2007	DBLP DOI BibTeX RDF
2	Gérard Basler, Daniel Kroening, Georg Weissenbacher	A Complete Bounded Model Checking Algorithm for Pushdown Systems.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
2	Yanyan Xu, Wei Chen 0018, Liang Xu, Wenhui Zhang	Evaluation of SAT-based Bounded Model Checking of ACTL Properties.	TASE	2007	DBLP DOI BibTeX RDF
2	Nannan He, Michael S. Hsiao	Bounded model checking of embedded software in wireless cognitive radio systems.	ICCD	2007	DBLP DOI BibTeX RDF
2	Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro	The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	bi-infinite time, satisfiability checking, temporal logic, bounded model checking
2	Stefan Disch, Christoph Scholl	Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets.	ASP-DAC	2007	DBLP DOI BibTeX RDF	shared circuit structures, incremental SAT techniques, bounded model checking, combinational equivalence checking
2	Malay K. Ganai, Aarti Gupta	Efficient BMC for Multi-Clock Systems with Clocked Specifications.	ASP-DAC	2007	DBLP DOI BibTeX RDF	OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks
2	Marc Herbstritt, Bernd Becker	On Combining 01X-Logic and QBF.	EUROCAST	2007	DBLP DOI BibTeX RDF	01X, Blackbox Designs, Bounded Model Checking, QBF
2	Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar	Efficient distributed SAT and SAT-based distributed Bounded Model Checking.	STTT	2006	DBLP DOI BibTeX RDF	Distributed-SAT, Parallel SAT, Model Checking, Formal Verification, SAT, BMC
2	Shujun Deng, Weimin Wu, Jinian Bian	Bounded Model Checking Combining Symbolic Trajectory Evaluation Abstraction with Hybrid Three-Valued SAT Solving.	CSCWD (Selected Papers)	2006	DBLP DOI BibTeX RDF
2	Shujun Deng, Weimin Wu, Jinian Bian	Cooperative Bounded Model Checking Using STE and Hybrid Three-Valued SAT Solving.	CSCWD	2006	DBLP DOI BibTeX RDF
2	Heon-Mo Koo, Prabhat Mishra	Test generation using SAT-based bounded model checking for validation of pipelined processors.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	test generation, functional validation
2	Conghua Zhou, Decheng Ding	Improved SAT Based Bounded Model Checking.	TAMC	2006	DBLP DOI BibTeX RDF
2	Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, Christian Herde	Parallel SAT Solving in Bounded Model Checking.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
2	Alessandro Armando, Jacopo Mantovani, Lorenzo Platania	Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers.	SPIN	2006	DBLP DOI BibTeX RDF
2	Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny	Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.	MoChArt	2006	DBLP DOI BibTeX RDF
2	Qiang Qiang, Daniel G. Saab, Jacob A. Abraham	Checking Nested Properties Using Bounded Model Checking and Sequential ATPG.	VLSI Design	2006	DBLP DOI BibTeX RDF
2	Marc Herbstritt, Bernd Becker, Christoph Scholl	Advanced SAT-Techniques for Bounded Model Checking of Blackbox Designs.	MTV	2006	DBLP DOI BibTeX RDF
2	Malay K. Ganai, Aarti Gupta	Accelerating high-level bounded model checking.	ICCAD	2006	DBLP DOI BibTeX RDF
2	Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman	Computational challenges in bounded model checking.	STTT	2005	DBLP DOI BibTeX RDF	Bonded-Model-checking, Completeness-Threshold, Complexity
2	Tobias Schüle, Klaus Schneider	Three-valued logic in bounded model checking.	MEMOCODE	2005	DBLP DOI BibTeX RDF
2	Shaz Qadeer, Jakob Rehof	Context-Bounded Model Checking of Concurrent Software.	TACAS	2005	DBLP DOI BibTeX RDF
2	Nachum Dershowitz, Ziyad Hanna, Jacob Katz	Bounded Model Checking with QBF.	SAT	2005	DBLP DOI BibTeX RDF
2	Maciej Szreter	Selective Search in Bounded Model Checking of Reachability Properties.	ATVA	2005	DBLP DOI BibTeX RDF
2	Jacob Katz, Ziyad Hanna, Nachum Dershowitz	Space-Efficient Bounded Model Checking.	DATE	2005	DBLP DOI BibTeX RDF
2	Anubhav Gupta, Ofer Strichman	Abstraction Refinement for Bounded Model Checking.	CAV	2005	DBLP DOI BibTeX RDF
2	Daniel Große, Ulrich Kühne, Rolf Drechsler	HW/SW Co-Verification of a RISC CPU using Bounded Model Checking.	MTV	2005	DBLP DOI BibTeX RDF
2	Bozena Wozna, Alessio Lomuscio, Wojciech Penczek	Bounded model checking for knowledge and real time.	AAMAS	2005	DBLP DOI BibTeX RDF	model checking, real time, epistemic logic, interpreted systems
2	Erika Ábrahám, Bernd Becker, Felix Klaedtke, Martin Steffen	Optimizing Bounded Model Checking for Linear Hybrid Systems.	VMCAI	2005	DBLP DOI BibTeX RDF
2	Witold Charatonik, Lilia Georgieva, Patrick Maier	Bounded Model Checking of Pointer Programs.	CSL	2005	DBLP DOI BibTeX RDF
2	Qiang Qiang, Chia-Lun Chang, Daniel G. Saab, Jacob A. Abraham	Case Study of ATPG-based Bounded Model Checking: Verifying USB2.0 IP Core.	ICCD	2005	DBLP DOI BibTeX RDF
2	Malay K. Ganai, Aarti Gupta, Pranav Ashar	Beyond safety: customized SAT-based model checking.	DAC	2005	DBLP DOI BibTeX RDF	circuit cofactoring, unbounded model checking, formal verification, SAT, liveness, bounded model checking, LTL
2	Lee Pike, Steven D. Johnson	The formal verification of a reintegration protocol.	EMSOFT	2005	DBLP DOI BibTeX RDF	infinite-state bounded model-checking, reintegration protocol, real-time, formal verification, infinite-state systems
2	Sean Safarpour, Görschwin Fey, Andreas G. Veneris, Rolf Drechsler	Utilizing don't care states in SAT-based bounded sequential problems.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	don't care states, unreachable states, satisfiability, bounded model checking, sequential equivalence checking
2	Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald	Proof-guided underapproximation-widening for multi-process systems.	POPL	2005	DBLP DOI BibTeX RDF	SAT proofs, underapproximation-widening, abstraction, software verification, bounded model checking
2	Gianpiero Cabodi, Alex Kondratyev, Luciano Lavagno, Sergio Nocco, Stefano Quer, Yosinori Watanabe	A BMC-based formulation for the scheduling problem of hardware systems.	STTT	2005	DBLP DOI BibTeX RDF	Hardware scheduling, Binary decision diagrams, Bounded model checking, Satisfiability solvers
2	Toni Jussila, Keijo Heljanko, Ilkka Niemelä	BMC via on-the-fly determinization.	STTT	2005	DBLP DOI BibTeX RDF	Verification, Labeled transition system, Bounded model checking
2	Bing Li, Chao Wang, Fabio Somenzi	Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.	STTT	2005	DBLP DOI BibTeX RDF	Unsatisfiability proof, Bounded model checking, Satisfiability problem, Abstraction refinement
2	Tobias Schüle, Klaus Schneider	Bounded model checking of infinite state systems: exploiting the automata hierarchy.	MEMOCODE	2004	DBLP DOI BibTeX RDF
2	Kavita Ravi, Fabio Somenzi	Minimal Assignments for Bounded Model Checking.	TACAS	2004	DBLP DOI BibTeX RDF
2	Emmanuel Zarpas	Simple Yet Efficient Improvements of SAT Based Bounded Model Checking.	FMCAD	2004	DBLP DOI BibTeX RDF
2	Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo	Verifying Web Applications Using Bounded Model Checking.	DSN	2004	DBLP DOI BibTeX RDF
2	Fang Yu, Bow-Yaw Wang, Yao-Wen Huang	Bounded Model Checking for Region Automata.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
2	Wolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi	Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking.	ISORC	2004	DBLP DOI BibTeX RDF
2	Rajat Arora, Michael S. Hsiao	Enhancing SAT-based Bounded Model Checking using Sequential Logic Implications.	VLSI Design	2004	DBLP DOI BibTeX RDF
2	HoonSang Jin, Mohammad Awedh, Fabio Somenzi	CirCUs: A Satisfiability Solver Geared towards Bounded Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
2	Mohammad Awedh, Fabio Somenzi	Proving More Properties with Bounded Model Checking.	CAV	2004	DBLP DOI BibTeX RDF
2	Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman	Completeness and Complexity of Bounded Model Checking.	VMCAI	2004	DBLP DOI BibTeX RDF