|
Search the dblp DataBase
Orna Grumberg:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Edmund M. Clarke, Orna Grumberg
Avoiding The State Explosion Problem in Temporal Logic Model Checking. [Citation Graph (1, 0)][DBLP] PODC, 1987, pp:294-303 [Conf]
- Sharon Shoham, Orna Grumberg
Multi-valued Model Checking Games. [Citation Graph (0, 0)][DBLP] ATVA, 2005, pp:354-369 [Conf]
- Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. [Citation Graph (0, 0)][DBLP] ATVA, 2005, pp:11-25 [Conf]
- Ze'ev Shtadler, Orna Grumberg
Network Grammars, Communication Behaviors and Automatic Verification. [Citation Graph (0, 0)][DBLP] Automatic Verification Methods for Finite State Systems, 1989, pp:151-165 [Conf]
- Ran Rinat, Nissim Francez, Orna Grumberg
Infinite Trees, Markings and Well Foundedness. [Citation Graph (0, 0)][DBLP] CAAP, 1986, pp:238-253 [Conf]
- Doron Bustan, Orna Grumberg
Simulation Based Minimization. [Citation Graph (0, 0)][DBLP] CADE, 2000, pp:255-270 [Conf]
- Sharon Barner, Orna Grumberg
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] CAV, 2002, pp:93-106 [Conf]
- Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi
Enhanced Vacuity Detection in Linear Temporal Logic. [Citation Graph (0, 0)][DBLP] CAV, 2003, pp:368-380 [Conf]
- Sérgio Vale Aguiar Campos, Orna Grumberg
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:257-268 [Conf]
- Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi
Another Look at LTL Model Checking. [Citation Graph (0, 0)][DBLP] CAV, 1994, pp:415-427 [Conf]
- Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
Counterexample-Guided Abstraction Refinement. [Citation Graph (0, 0)][DBLP] CAV, 2000, pp:154-169 [Conf]
- Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
Making Predicate Abstraction Efficient: How to Eliminate Redundant Predicates. [Citation Graph (0, 0)][DBLP] CAV, 2003, pp:126-140 [Conf]
- Dennis Dams, Orna Grumberg, Rob Gerth
Generation of Reduced Models for Checking Fragments of CTL. [Citation Graph (0, 0)][DBLP] CAV, 1993, pp:479-490 [Conf]
- Hana De-Leon, Orna Grumberg
Modular Abstractions for Verifying Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP] CAV, 1992, pp:2-15 [Conf]
- Orna Grumberg, Tamir Heyman, Assaf Schuster
Distributed Symbolic Model Checking for µ-Calculus. [Citation Graph (0, 0)][DBLP] CAV, 2001, pp:350-362 [Conf]
- Orna Grumberg, Tamir Heyman, Assaf Schuster
A Work-Efficient Distributed Algorithm for Reachability Analysis. [Citation Graph (0, 0)][DBLP] CAV, 2003, pp:54-66 [Conf]
- Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster
Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. [Citation Graph (0, 0)][DBLP] CAV, 2000, pp:20-35 [Conf]
- Ishai Rabinovitz, Orna Grumberg
Bounded Model Checking of Concurrent Programs. [Citation Graph (0, 0)][DBLP] CAV, 2005, pp:82-97 [Conf]
- Sharon Shoham, Orna Grumberg
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement. [Citation Graph (0, 0)][DBLP] CAV, 2003, pp:275-287 [Conf]
- Gil Shurek, Orna Grumberg
The Modular Framework of Computer-Aided Verification. [Citation Graph (0, 0)][DBLP] CAV, 1990, pp:214-223 [Conf]
- Rachel Tzoref, Orna Grumberg
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation. [Citation Graph (0, 0)][DBLP] CAV, 2006, pp:190-204 [Conf]
- Orna Grumberg, Tamir Heyman, Nili Ifergan, Assaf Schuster
Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation. [Citation Graph (0, 0)][DBLP] CHARME, 2005, pp:129-145 [Conf]
- Hardi Hungar, Orna Grumberg, Werner Damm
What if model checking must be truly symbolic. [Citation Graph (0, 0)][DBLP] CHARME, 1995, pp:1-20 [Conf]
- Doron Bustan, Alon Flaisher, Orna Grumberg, Orna Kupferman, Moshe Y. Vardi
Regular Vacuity. [Citation Graph (0, 0)][DBLP] CHARME, 2005, pp:191-206 [Conf]
- Sagi Katz, Orna Grumberg, Daniel Geist
"Have I written enough Properties?" - A Method of Comparison between Specification and Implementation. [Citation Graph (0, 0)][DBLP] CHARME, 1999, pp:280-297 [Conf]
- Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
Verification of the Futurebus+ Cache Coherence Protocol. [Citation Graph (0, 0)][DBLP] CHDL, 1993, pp:15-30 [Conf]
- Orna Bernholtz, Orna Grumberg
Branching Time Temporal Logic and Amorphous Tree Automata. [Citation Graph (0, 0)][DBLP] CONCUR, 1993, pp:262-277 [Conf]
- Edmund M. Clarke, Orna Grumberg, Somesh Jha
Veryfying Parameterized Networks using Abstraction and Regular Languages. [Citation Graph (0, 0)][DBLP] CONCUR, 1995, pp:395-407 [Conf]
- Orna Grumberg, David E. Long
Model Checking and Modular Verification. [Citation Graph (0, 0)][DBLP] CONCUR, 1991, pp:250-265 [Conf]
- Edmund M. Clarke, Orna Grumberg, Kenneth L. McMillan, Xudong Zhao
Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] DAC, 1995, pp:427-432 [Conf]
- Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
Progress on the State Explosion Problem in Model Checking. [Citation Graph (0, 0)][DBLP] Informatics, 2001, pp:176-194 [Conf]
- Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan
A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. [Citation Graph (0, 0)][DBLP] Logic at Botik, 1989, pp:81-90 [Conf]
- Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster
Scalable Distributed On-the-Fly Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] FMCAD, 2000, pp:390-404 [Conf]
- Orna Grumberg, Assaf Schuster, Avi Yadgar
Memory Efficient All-Solutions SAT Solver and Its Application for Reachability Analysis. [Citation Graph (0, 0)][DBLP] FMCAD, 2004, pp:275-289 [Conf]
- Orna Grumberg
Abstraction and Refinement in Model Checking. [Citation Graph (0, 0)][DBLP] FMCO, 2005, pp:219-242 [Conf]
- Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster
First-Order-CTL Model Checking. [Citation Graph (0, 0)][DBLP] FSTTCS, 1998, pp:283-294 [Conf]
- Limor Fix, Nissim Francez, Orna Grumberg
Program Composition and Modular Verification. [Citation Graph (0, 0)][DBLP] ICALP, 1991, pp:93-114 [Conf]
- Limor Fix, Nissim Francez, Orna Grumberg
Program Composition via Unification. [Citation Graph (0, 0)][DBLP] ICALP, 1992, pp:672-684 [Conf]
- Orna Bernholtz, Orna Grumberg
Buy One, Get One Free!!! [Citation Graph (0, 0)][DBLP] ICTL, 1994, pp:210-224 [Conf]
- Orna Grumberg, Robert P. Kurshan
How Linear Can Branching-Time Be? [Citation Graph (0, 0)][DBLP] ICTL, 1994, pp:180-194 [Conf]
- Shmuel Katz, Orna Grumberg
A Framework for Translating Models and Specifications. [Citation Graph (0, 0)][DBLP] IFM, 2002, pp:145-164 [Conf]
- Katerina Korenblat, Orna Grumberg, Shmuel Katz
Translations between Textual Transition Systems and Petri Nets. [Citation Graph (0, 0)][DBLP] IFM, 2002, pp:339-359 [Conf]
- Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith
State/Event Software Verification for Branching-Time Specifications. [Citation Graph (0, 0)][DBLP] IFM, 2005, pp:53-69 [Conf]
- Girish Bhat, Rance Cleaveland, Orna Grumberg
Efficient On-the-Fly Model Checking for CTL* [Citation Graph (0, 0)][DBLP] LICS, 1995, pp:388-397 [Conf]
- Sharon Shoham, Orna Grumberg
3-Valued Abstraction: More Precision at Less Cost. [Citation Graph (0, 0)][DBLP] LICS, 2006, pp:399-410 [Conf]
- Nissim Francez, Orna Grumberg, Shmuel Katz, Amir Pnueli
Proving Termination of Prolog Programs. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1985, pp:89-105 [Conf]
- Orna Grumberg, Nissim Francez, Shmuel Katz
A Compete Proof Rule for Strong Equifair Termination. [Citation Graph (0, 0)][DBLP] Logic of Programs, 1983, pp:257-278 [Conf]
- Edmund M. Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang
High Level Verification of Control Intensive Systems Using Predicate Abstraction. [Citation Graph (0, 0)][DBLP] MEMOCODE, 2003, pp:55-64 [Conf]
- Edmund M. Clarke, Orna Grumberg, David E. Long
Model checking. [Citation Graph (0, 0)][DBLP] NATO ASI DPD, 1996, pp:305-349 [Conf]
- Edmund M. Clarke, Orna Grumberg, Michael C. Browne
Reasoning About Networks With Many Identical Finite-State Processes. [Citation Graph (0, 0)][DBLP] PODC, 1986, pp:240-248 [Conf]
- Orna Grumberg, Nissim Francez, Shmuel Katz
Fail Termination of Communicating Processe. [Citation Graph (0, 0)][DBLP] PODC, 1984, pp:254-265 [Conf]
- Paul C. Attie, Nissim Francez, Orna Grumberg
Fairness and Hyperfairness in Multi-Party Interactions. [Citation Graph (0, 0)][DBLP] POPL, 1990, pp:292-305 [Conf]
- Edmund M. Clarke, Orna Grumberg, David E. Long
Model Checking and Abstraction. [Citation Graph (0, 0)][DBLP] POPL, 1992, pp:342-354 [Conf]
- Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald
Proof-guided underapproximation-widening for multi-process systems. [Citation Graph (0, 0)][DBLP] POPL, 2005, pp:122-131 [Conf]
- Edmund M. Clarke, Orna Grumberg, David E. Long
Verification Tools for Finite-State Concurrent Systems. [Citation Graph (0, 0)][DBLP] REX School/Symposium, 1993, pp:124-175 [Conf]
- Doron Bustan, Orna Grumberg
Applicability of Fair Simulation. [Citation Graph (0, 0)][DBLP] TACAS, 2002, pp:401-414 [Conf]
- Karen Laster, Orna Grumberg
Modular Model Checking of Software. [Citation Graph (0, 0)][DBLP] TACAS, 1998, pp:20-35 [Conf]
- Sharon Shoham, Orna Grumberg
Monotonic Abstraction-Refinement for CTL. [Citation Graph (0, 0)][DBLP] TACAS, 2004, pp:546-560 [Conf]
- Michael C. Browne, Edmund M. Clarke, Orna Grumberg
Characterizing Kripke Structures in Temporal Logic. [Citation Graph (0, 0)][DBLP] TAPSOFT, Vol.1, 1987, pp:256-270 [Conf]
- Edmund M. Clarke, Orna Grumberg
The Model Checking Problem for Concurrent Systems with Many Similar Processes. [Citation Graph (0, 0)][DBLP] Temporal Logic in Specification, 1987, pp:188-201 [Conf]
- Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham
Don't Know in the µ-Calculus. [Citation Graph (0, 0)][DBLP] VMCAI, 2005, pp:233-249 [Conf]
- Paul C. Attie, Nissim Francez, Orna Grumberg
Fairness and Hyperfairness in Multi-Party Interactions. [Citation Graph (0, 0)][DBLP] Distributed Computing, 1993, v:6, n:4, pp:245-254 [Journal]
- Lubos Brim, Orna Grumberg
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
- Lubos Brim, Orna Grumberg
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2003, v:89, n:1, pp:- [Journal]
- Alessandro Cimatti, Orna Grumberg
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:23, n:2, pp:- [Journal]
- Orna Grumberg
Different directions in parallel and distributed model checking (invited talk). [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
- Hana De-Leon, Orna Grumberg
Modular Abstractions for Verifying Real-Time Distributed Systems. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1993, v:2, n:1, pp:7-43 [Journal]
- Sharon Barner, Orna Grumberg
Combining Symmetry Reduction and Under-Approximation for Symbolic Model Checking. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2005, v:27, n:1-2, pp:29-66 [Journal]
- Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi
Another Look at LTL Model Checking. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1997, v:10, n:1, pp:47-71 [Journal]
- Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness
Verification of the Futurebus+ Cache Coherence Protocol. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1995, v:6, n:2, pp:217-232 [Journal]
- Orna Grumberg
Introduction: Special Issue on CAV '97. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2001, v:18, n:2, pp:95- [Journal]
- Orna Grumberg, Tamir Heyman, Assaf Schuster
Distributed Symbolic Model Checking for µ-Calculus. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2005, v:26, n:2, pp:197-219 [Journal]
- Sérgio Vale Aguiar Campos, Edmund M. Clarke, Orna Grumberg
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2000, v:17, n:2, pp:163-192 [Journal]
- Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster
A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2002, v:21, n:3, pp:317-338 [Journal]
- Karen Yorav, Orna Grumberg
Static Analysis for State-Space Reductions Preserving Temporal Logics. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2004, v:25, n:1, pp:67-96 [Journal]
- Orna Grumberg, Tamir Heyman, Assaf Schuster
A work-efficient distributed algorithm for reachability analysis. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2006, v:29, n:2, pp:157-175 [Journal]
- Doron Bustan, Orna Grumberg
Applicability of fair simulation. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2004, v:194, n:1, pp:1-18 [Journal]
- Michael C. Browne, Edmund M. Clarke, Orna Grumberg
Reasoning about Networks with Many Identical Finite State Processes [Citation Graph (0, 0)][DBLP] Inf. Comput., 1989, v:81, n:1, pp:13-31 [Journal]
- Orna Grumberg, Nissim Francez, Johann A. Makowsky, Willem P. de Roever
A Proof Rule for Fair Termination of Guarded Commands [Citation Graph (0, 0)][DBLP] Information and Control, 1985, v:66, n:1/2, pp:83-102 [Journal]
- Orna Kupferman, Orna Grumberg
Branching-Time Temporal Logic and Tree Automata. [Citation Graph (0, 0)][DBLP] Inf. Comput., 1996, v:125, n:1, pp:62-69 [Journal]
- Ran Rinat, Nissim Francez, Orna Grumberg
Infinite Trees, Markings and Well-Foundedness [Citation Graph (0, 0)][DBLP] Inf. Comput., 1988, v:79, n:2, pp:131-154 [Journal]
- Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. [Citation Graph (0, 0)][DBLP] Int. J. Found. Comput. Sci., 2007, v:18, n:1, pp:45-62 [Journal]
- Edmund M. Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
Counterexample-guided abstraction refinement for symbolic model checking. [Citation Graph (0, 0)][DBLP] J. ACM, 2003, v:50, n:5, pp:752-794 [Journal]
- Orna Grumberg, Shlomi Livne, Shaul Markovitch
Learning to Order BDD Variables in Verification. [Citation Graph (0, 0)][DBLP] J. Artif. Intell. Res. (JAIR), 2003, v:18, n:, pp:83-116 [Journal]
- Orna Grumberg, Nissim Francez, Shmuel Katz
A Complete Rule for Equifair Termination. [Citation Graph (0, 0)][DBLP] J. Comput. Syst. Sci., 1986, v:33, n:3, pp:313-332 [Journal]
- Karen Yorav, Orna Grumberg
Syntax-directed model checking of sequential programs. [Citation Graph (0, 0)][DBLP] J. Log. Algebr. Program., 2002, v:52, n:, pp:129-162 [Journal]
- Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan
A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1992, v:2, n:5, pp:605-618 [Journal]
- Orna Grumberg, Robert P. Kurshan
Which Branching-Time Properties are Effectively Linear? [Citation Graph (0, 0)][DBLP] J. Log. Comput., 2001, v:11, n:2, pp:201-228 [Journal]
- Limor Fix, Orna Grumberg
Verification of Temporal Properties. [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1996, v:6, n:3, pp:343-361 [Journal]
- Orna Kupferman, Orna Grumberg
Buy One, Get One Free!!! [Citation Graph (0, 0)][DBLP] J. Log. Comput., 1996, v:6, n:4, pp:523-539 [Journal]
- Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster
Scalable distributed on-the-fly symbolic model checking. [Citation Graph (0, 0)][DBLP] STTT, 2003, v:4, n:4, pp:496-504 [Journal]
- Lubos Brim, Orna Grumberg
Introductory paper. [Citation Graph (0, 0)][DBLP] STTT, 2005, v:7, n:1, pp:1-3 [Journal]
- Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Copty Fady
Test sequence generation and model checking using dynamic transition relations. [Citation Graph (0, 0)][DBLP] STTT, 2004, v:6, n:2, pp:174-182 [Journal]
- Edmund M. Clarke, Orna Grumberg, Marius Minea, Doron Peled
State Space Reduction Using Partial Order Techniques. [Citation Graph (0, 0)][DBLP] STTT, 1999, v:2, n:3, pp:279-287 [Journal]
- Michael C. Browne, Edmund M. Clarke, Orna Grumberg
Characterizing Finite Kripke Structures in Propositional Temporal Logic. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1988, v:59, n:, pp:115-131 [Journal]
- Limor Fix, Nissim Francez, Orna Grumberg
Program Composition via Unification. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:131, n:1, pp:139-179 [Journal]
- Doron Bustan, Orna Grumberg
Simulation-based minimazation. [Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2003, v:4, n:2, pp:181-206 [Journal]
- Dennis Dams, Rob Gerth, Orna Grumberg
Abstract Interpretation of Reactive Systems. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1997, v:19, n:2, pp:253-291 [Journal]
- Edmund M. Clarke, Orna Grumberg, Somesh Jha
Verifying Parameterized Networks. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1997, v:19, n:5, pp:726-750 [Journal]
- Edmund M. Clarke, Orna Grumberg, David E. Long
Model Checking and Abstraction. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1994, v:16, n:5, pp:1512-1542 [Journal]
- Orna Grumberg, David E. Long
Model Checking and Modular Verification. [Citation Graph (0, 0)][DBLP] ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:843-871 [Journal]
- Orna Grumberg, Assaf Schuster, Avi Yadgar
3-Valued Circuit SAT for STE with Automatic Refinement. [Citation Graph (0, 0)][DBLP] ATVA, 2007, pp:457-473 [Conf]
- Rotem Oshman, Orna Grumberg
A New Approach to Bounded Model Checking for Branching Time Logics. [Citation Graph (0, 0)][DBLP] ATVA, 2007, pp:410-424 [Conf]
- Sharon Shoham, Orna Grumberg
Compositional Verification and 3-Valued Abstractions Join Forces. [Citation Graph (0, 0)][DBLP] SAS, 2007, pp:69-86 [Conf]
- Orna Grumberg, Martin Lange, Martin Leucker, Sharon Shoham
When not losing is better than winning: Abstraction and refinement for the full mu-calculus. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2007, v:205, n:8, pp:1130-1148 [Journal]
- Orna Grumberg, Shmuel Katz
VeriTech: a framework for translating among model description notations. [Citation Graph (0, 0)][DBLP] STTT, 2007, v:9, n:2, pp:119-132 [Journal]
3-Valued Abstraction for (Bounded) Model Checking. [Citation Graph (, )][DBLP]
A Framework for Compositional Verification of Multi-valued Systems via Abstraction-Refinement. [Citation Graph (, )][DBLP]
Hybrid BDD and All-SAT Method for Model Checking. [Citation Graph (, )][DBLP]
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. [Citation Graph (, )][DBLP]
Interpolation-sequence based model checking. [Citation Graph (, )][DBLP]
Efficient Automatic STE Refinement Using Responsibility. [Citation Graph (, )][DBLP]
Variable Automata over Infinite Alphabets. [Citation Graph (, )][DBLP]
Search in 0.047secs, Finished in 0.053secs
|