|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 12246 occurrences of 3747 keywords
|
|
|
Results
Found 21094 publication records. Showing 21094 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Junfeng Yang, Paul Twohey, Dawson R. Engler, Madanlal Musuvathi |
Using model checking to find serious file system errors. |
ACM Trans. Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Model checking, file system, recovery, journaling, crash |
28 | Sumeet Kumar, Aneesh Aggarwal |
Self-checking instructions: reducing instruction redundancy for concurrent error detection. |
PACT |
2006 |
DBLP DOI BibTeX RDF |
RISC/CISC, reducing instruction redundancy, redundant multi-threading, self-checking instructions, concurrent error detection, VLIW architectures |
28 | Paul T. Darga, Chandrasekhar Boyapati |
Efficient software model checking of data structure properties. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
program analysis, software model checking |
28 | Beata Konikowska, Wojciech Penczek |
Model checking for multivalued logic of knowledge and time. |
AAMAS |
2006 |
DBLP DOI BibTeX RDF |
multivalued modal logic, model checking, epistemic logic, interpreted systems |
28 | Orna Grumberg, Tamir Heyman, Assaf Schuster |
Distributed Symbolic Model Checking for µ-Calculus. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
model checking, distributed, hardware verification, symbolic, Mu-calculus |
28 | Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman |
Computational challenges in bounded model checking. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Bonded-Model-checking, Completeness-Threshold, Complexity |
28 | Bing Li, Chao Wang 0001, Fabio Somenzi |
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Unsatisfiability proof, Bounded model checking, Satisfiability problem, Abstraction refinement |
28 | Roberto Ziller, Klaus Schneider 0001 |
Combining supervisor synthesis and model checking. |
ACM Trans. Embed. Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Ramadge-Wonham, supervisor synthesis, model checking |
28 | Thi Viet Nga Nguyen, François Irigoin |
Efficient and effective array bound checking. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
interprocedural analysis, Array bound checking |
28 | Wojciech Jamroga, Jürgen Dix |
Do Agents Make Model Checking Explode (Computationally)? |
CEEMAS |
2005 |
DBLP DOI BibTeX RDF |
multi-agent systems, model checking, temporal logic |
28 | Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain |
On Partitioning and Symbolic Model Checking. |
FM |
2005 |
DBLP DOI BibTeX RDF |
state partitioning, BDD, Symbolic Model Checking, CTL |
28 | Nan Zhang 0003, Mark Ryan 0001, Dimitar P. Guelev |
Evaluating Access Control Policies Through Model Checking. |
ISC |
2005 |
DBLP DOI BibTeX RDF |
access control policy language, model checking, verification, access control, access control model, access control policy |
28 | Johannes Kinder, Stefan Katzenbeisser 0001, Christian Schallhart, Helmut Veith |
Detecting Malicious Code by Model Checking. |
DIMVA |
2005 |
DBLP DOI BibTeX RDF |
Model Checking, Malware Detection |
28 | Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer |
From Pre-Historic to Post-Modern Symbolic Model Checking. |
Formal Methods Syst. Des. |
2003 |
DBLP DOI BibTeX RDF |
forward traversal, regular specifications, symbolic model checking, calculus |
28 | David A. Basin, Stefan Friedrich 0001, Marek Gawkowski |
Bytecode Verification by Model Checking. |
J. Autom. Reason. |
2003 |
DBLP DOI BibTeX RDF |
model checking, static analysis, type safety, bytecode verification |
28 | Arie Gurfinkel, Marsha Chechik |
Generating Counterexamples for Multi-valued Model-Checking. |
FME |
2003 |
DBLP DOI BibTeX RDF |
De Morgan algebras, model-checking, CTL, counterexamples, witnesses |
28 | Sabine Glesner |
Program Checking with Certificates: Separating Correctness-Critical Code. |
FME |
2003 |
DBLP DOI BibTeX RDF |
safety-scalability, real-scale applications, verification, validation, certificates, correctness, program checking |
28 | Gihwon Kwon |
Applying Model Checking Techniques to Game Solving. |
SERA |
2003 |
DBLP DOI BibTeX RDF |
game solving, Model checking, counterexample, state explosion problem |
28 | Marc-Philippe Huget, Michael J. Wooldridge |
Model checking for ACL compliance verification. |
AAMAS |
2003 |
DBLP DOI BibTeX RDF |
model checking, verification, agents, semantics, agent communication language |
28 | Ralf Pinger, Hans-Dieter Ehrich |
Compositional Checking of Communication among Observers. |
FASE |
2001 |
DBLP DOI BibTeX RDF |
distributed logic, modelling and design, object system, model checking, verification, temporal logic, compositionality |
28 | Xuan Liu, Shashi Shekhar, Sanjay Chawla |
Consistency checking for Euclidean spatial constraints: a dimension graph approach. |
ICTAI |
2000 |
DBLP DOI BibTeX RDF |
Euclidean spatial constraints, dimension graph approach, graph cycle detection, spatial predicates, two-dimensional space, computational complexity, computational geometry, transforms, polygons, consistency checking, intervals, space complexity, spatial objects |
28 | Rance Cleaveland |
Pragmatics of Model Checking: An STTT Special Section. |
Int. J. Softw. Tools Technol. Transf. |
1999 |
DBLP DOI BibTeX RDF |
Model checking, Temporal logic, State explosion, System verification |
28 | Constance L. Heitmeyer, Ralph D. Jeffords, Bruce G. Labaw |
Automated Consistency Checking of Requirements Specifications. |
ACM Trans. Softw. Eng. Methodol. |
1996 |
DBLP DOI BibTeX RDF |
application-independent properties, formal requirements modeling, software cost reduction methodology, tabular notations, consistency checking |
28 | Giorgio Ghelli |
Complexity of Kernel Fun Subtype Checking. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
polymorphism, subtyping, type theory, type checking |
28 | B. Hamdi, Hakim Bederr, Michael Nicolaidis |
A tool for automatic generation of self-checking data paths. |
VTS |
1995 |
DBLP DOI BibTeX RDF |
self-checking data paths, ALUs, shifters, double rail checkers, logic testing, built-in self test, microprocessors, adders, circuit CAD, multipliers, microcontrollers, register files, circuit design, CAD tools, automatic generation, automatic test software, dividers, circuit testing, parity checkers |
28 | Edmund M. Clarke, Orna Grumberg, Kiyoharu Hamaguchi |
Another Look at LTL Model Checking. |
CAV |
1994 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, binary decision diagrams, automatic verification |
28 | Patrice Godefroid |
Software Model Checking Improving Security of a Billion Computers. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
28 | Radu Mateescu 0001, Emilie Oudot |
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
28 | Lubos Brim, Jiri Barnat |
Tutorial: Parallel Model Checking. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
28 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking JML specifications using an extensible software model checking framework. |
Int. J. Softw. Tools Technol. Transf. |
2006 |
DBLP DOI BibTeX RDF |
|
28 | David A. Wagner 0001 |
Pushdown Model Checking for Security. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
28 | Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff |
Checking Strong Specifications Using an Extensible Software Model Checking Framework. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Edmund M. Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman |
Completeness and Complexity of Bounded Model Checking. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
28 | Cindy Eisner, Doron A. Peled |
Comparing Symbolic and Explicit Model Checking of a Software System. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
28 | Michael Huth 0001 |
Model Checking Modal Transition Systems Using Kripke Structures. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Lihua Duan, Jessica Chen |
Alternative B-Sequences. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
finite state machine, conformance testing, distinguishing sequence, checking sequence |
27 | María Alpuente, Moreno Falaschi, Alicia Villanueva |
A Symbolic Model Checker for tccp Programs. |
RISE |
2004 |
DBLP DOI BibTeX RDF |
Timed Concurrent Constraint Programs, DDDs, Model Checking, Lightweight formal methods |
27 | Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser |
Finding feasible abstract counter-examples. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Counter-example analysis, Model checking, Abstract interpretation, Software verification |
27 | Rajeev Alur, Thomas A. Henzinger, Orna Kupferman |
Alternating-time temporal logic. |
J. ACM |
2002 |
DBLP DOI BibTeX RDF |
temporaxl logic, model checking, games, Alternation |
27 | Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal |
An Algorithmic Approach to Design Exploration. |
FME |
2002 |
DBLP DOI BibTeX RDF |
hardware debugging, hardware exploration, Model checking |
27 | Wiebe van der Hoek, Michael J. Wooldridge |
Tractable multiagent planning for epistemic goals. |
AAMAS |
2002 |
DBLP DOI BibTeX RDF |
epistemic & temporal logic, model checking, planning |
27 | Ou Wei, Arie Gurfinkel, Marsha Chechik |
Mixed Transition Systems Revisited. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Ralf Wimmer 0001, Alexander Kortus, Marc Herbstritt, Bernd Becker 0001 |
Probabilistic Model Checking and Reliability of Results. |
DDECS |
2008 |
DBLP DOI BibTeX RDF |
|
27 | In-Ho Moon, Per Bjesse, Carl Pixley |
A compositional approach to the combination of combinational and sequential equivalence checking of circuits without known reset states. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Alessandro Ferrante, Aniello Murano |
Enriched µ-Calculi Module Checking. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Wenhui Zhang |
Verification of ACTL Properties by Bounded Model Checking. |
EUROCAST |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Joel P. Self, Eric G. Mercer |
On-the-Fly Dynamic Dead Variable Analysis. |
SPIN |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Robby, Matthew B. Dwyer, John Hatcliff |
Domain-specific Model Checking Using The Bogor Framework. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Daijue Tang, Sharad Malik, Aarti Gupta, C. Norris Ip |
Symmetry Reduction in SAT-Based Model Checking. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Matthew B. Dwyer, John Hatcliff, Matthew Hoosier, Robby |
Building Your Own Software Model Checker Using the Bogor Extensible Model Checking Framework. |
CAV |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Babita Sharma, Paritosh K. Pandya, Supratik Chakraborty |
Bounded Validity Checking of Interval Duration Logic. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Atsushi Moritomo, Kiyoharu Hamaguchi, Toshinobu Kashiwabara |
Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
27 | François Laroussinie, Nicolas Markey, Philippe Schnoebelen |
Model Checking Timed Automata with One or Two Clocks. |
CONCUR |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Patrice Godefroid |
Reasoning about Abstract Open Systems with Generalized Module Checking. |
EMSOFT |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Patrice Godefroid, Radha Jagadeesan |
Automatic Abstraction Using Generalized Model Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Miklós Ajtai |
The invasiveness of off-line memory checking. |
STOC |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Lefteris M. Kirousis, Phokion G. Kolaitis |
On the Complexity of Model Checking and Inference in Minimal Models. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Karen Yorav, Sagi Katz, Ron Kiper |
Reproducing Synchronization Bugs with Model Checking. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Martin Grohe |
Generalized Model-Checking Problems for First-Order Logic. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
27 | K. Suzanne Barber, Thomas J. Graser, Jim Holt |
Providing Early Feedback in the Development Cycle Through Automated Application of Model Checking to Software Architectures. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Glenn Bruns, Patrice Godefroid |
Generalized Model Checking: Reasoning about Partial State Spaces. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
27 | E. Allen Emerson |
Model Checking: Theory into Practice. |
FSTTCS |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Armin Biere, Edmund M. Clarke, Yunshan Zhu |
Multiple State and Single State Tableaux for Combining Local and Global Model Checking. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Ilya Levin, Vladimir Sinelnikov |
Self-Checking of FPGA-Based Control Units. |
Great Lakes Symposium on VLSI |
1999 |
DBLP DOI BibTeX RDF |
|
27 | David F. Redmiles |
Can Model Checking Scale to Software? (Panel). |
ASE |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Richard J. Anderson, Paul Beame, Steve Burns 0002, William Chan 0001, Francesmary Modugno, David Notkin, Jon Damon Reese |
Model Checking Large Software Specifications. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Peter Steenkiste, John L. Hennessy |
Tags and Type Checking in Lisp: Hardware and Software Approaches. |
ASPLOS |
1987 |
DBLP DOI BibTeX RDF |
LISP, RISC |
26 | Wenhui Zhang |
Bounded Semantics of CTL and SAT-Based Verification. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Sven Schewe |
ATL* Satisfiability Is 2EXPTIME-Complete. |
ICALP (2) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Rajeev Alur, Kousha Etessami, Mihalis Yannakakis |
Realizability and Verification of MSC Graphs. |
ICALP |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Ranjit Jhala, Rupak Majumdar |
Software model checking. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
counterexample-guided refinement, enumerative and symbolic model checking, abstraction, safety, liveness, Software model checking |
26 | Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe |
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs. |
SNPD |
2008 |
DBLP DOI BibTeX RDF |
optimization, model checking, centralization, Software model checking, partial-order reduction |
26 | Samir Chouali, Jacques Julliand, Pierre-Alain Masson, Françoise Bellegarde |
PLTL-partitioned model checking for reactive systems under fairness assumptions. |
ACM Trans. Embed. Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
PLTL model checking, Refinement design, fairness assumptions, out-of-core model checking |
26 | Amit M. Paradkar, Tim Klinger |
Automated Consistency and Completeness Checking of Testing Models for Interactive Systems. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
Completeness Checking, Reachability, Consistency Checking |
26 | Arie Gurfinkel, Benet Devereux, Marsha Chechik |
Model exploration with temporal logic query checking. |
SIGSOFT FSE |
2002 |
DBLP DOI BibTeX RDF |
multi-valued model-checking, query-checking, CTL |
26 | Peter Wohl, John A. Waicukauski |
Using ATPG for clock rules checking in complex scan design. |
VTS |
1997 |
DBLP DOI BibTeX RDF |
clock rules checking, complex scan designs, structured DFT, automated design-rules-checking, robust set of rules, clock-rule-violation detection, fast clock verification, large microprocessor design, topological circuit analysis, zero delay, user controlled verification, capture ability, port contention, cone tracing, equivalent sources, ATPG, race conditions, computer testing, timing verification |
26 | Woohyuk Lee, Abelardo Pardo, Jae-Young Jang, Gary D. Hachtel, Fabio Somenzi |
Tearing based automatic abstraction for CTL model checking. |
ICCAD |
1996 |
DBLP DOI BibTeX RDF |
ACTL model checking, CTL model checking, conservative ECTL, lattice set, lower bound approximations, pseudo-optimal shortest path, resolution methods, tearing based automatic abstraction, upper bound approximations, formal verification, reactive system, bipartition |
26 | Michael Nicolaidis |
Shorts in self-checking circuits. |
J. Electron. Test. |
1991 |
DBLP DOI BibTeX RDF |
strongly fault-secure circuits, transistor faults, error detecting codes, self-checking circuits, totally self-checking circuits |
25 | Marta Z. Kwiatkowska, Gethin Norman |
Verifying Randomized Byzantine Agreement. |
FORTE |
2002 |
DBLP DOI BibTeX RDF |
Induction and compositional model checking, probabilistic model checking, randomized distributed algorithms |
25 | Anna Antola, Fabrizio Ferrandi, Vincenzo Piuri, Mariagiovanna Sami |
Semiconcurrent Error Detection in Data Paths. |
IEEE Trans. Computers |
2001 |
DBLP DOI BibTeX RDF |
Semiconcurrent error detection, checking periodicity, resource minimization, fault tolerance, high-level synthesis, data flow graph, self-checking circuits |
25 | Michael Nicolaidis |
Efficient UBIST implementation for microprocessor sequencing parts. |
J. Electron. Test. |
1995 |
DBLP DOI BibTeX RDF |
strongly code disjoint checkers, signature analyser, UBIST, microprocessor sequencing part, BIST, LFSR, self-checking circuits, totally self-checking circuits |
25 | Abdelaziz Fellah |
Time and alternation: an automata based framework to software model checking. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
software verification and testing, timed alternating and buchi automata, timed temporal propositional logic, software model checking |
25 | Maithili Narasimha, John Solis, Gene Tsudik |
Privacy-preserving revocation checking. |
Int. J. Inf. Sec. |
2009 |
DBLP DOI BibTeX RDF |
Privacy-preserving revocation checking, Anonymity and privacy, Certificate revocation trees, Revocation, Certificate revocation lists |
25 | Stavros Tripakis |
Checking timed Büchi automata emptiness on simulation graphs. |
ACM Trans. Comput. Log. |
2009 |
DBLP DOI BibTeX RDF |
property-preserving abstractions, timed Büchi automata, model checking, Formal methods, specification languages |
25 | María-del-Mar Gallardo, Pedro Merino 0001, David Sanán |
Model Checking Dynamic Memory Allocation in Operating Systems. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Model checking, Operating systems, Dynamic memory allocation |
25 | Graeme Smith 0001, Kirsten Winter |
Model checking action system refinements. |
Formal Aspects Comput. |
2009 |
DBLP DOI BibTeX RDF |
model checking, Refinement, CTL, action systems |
25 | Danhua Shao, Sarfraz Khurshid, Dewayne E. Perry |
An Incremental Approach to Scope-Bounded Checking Using a Lightweight Formal Method. |
FM |
2009 |
DBLP DOI BibTeX RDF |
Scope-bounded checking, computation graph, first-order logic, SAT, Alloy, white-box testing, lightweight formal method |
25 | Pavel Parízek, Tomas Kalibera |
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
restrictions of concurrency, model checking, embedded systems, Java programs, state explosion |
25 | Franz J. Rammig, Yuhong Zhao 0001, Sufyan Samara |
On-Line Model Checking as Operating System Service. |
SEUS |
2009 |
DBLP DOI BibTeX RDF |
On-line model checking, Verification service, Real-time operating system |
25 | Julian Gutierrez 0001, Julian C. Bradfield |
Model-Checking Games for Fixpoint Logics with Partial Order Models. |
CONCUR |
2009 |
DBLP DOI BibTeX RDF |
Model-checking games, Hintikka game semantics, Partial order models of concurrency, Process algebras, Modal and temporal logics |
25 | Florian Kammüller, Sören Preibusch |
An industrial application of symbolic model checking. |
Inform. Forsch. Entwickl. |
2008 |
DBLP DOI BibTeX RDF |
Schlagworte Symbolisches Model Checking, Mechanische Verifikation, Industrielle Fallstudie, Zustandsbasierte Systeme, Sicherheit, SMV |
25 | Robert M. Hierons, Hasan Ural |
Checking sequences for distributed test architectures. |
Distributed Comput. |
2008 |
DBLP DOI BibTeX RDF |
Distributed test architecture, Coordination problems, Observability problems, Testing, Checking sequence |
25 | Michael Roberson, Melanie Harries, Paul T. Darga, Chandrasekhar Boyapati |
Efficient software model checking of soundness of type systems. |
OOPSLA |
2008 |
DBLP DOI BibTeX RDF |
software model checking, type soundness |
25 | 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 |
25 | Yan Zhang, Yi Liu, Le Zhang, Zhiyi Ma, Hong Mei 0001 |
Modeling and Checking for Non-functional Attributes in Extended UML Class Diagram. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
non-functional attributes, model checking, model driven development, UML class diagram |
25 | Naoki Iwasaki, Katsumi Wasaki |
A Meta Hardware Description Language Melasy for Model-Checking Systems. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
Hardware/Software co-design and co-verification, Model Checking, Haskell, Design-for-test, Hardware Compilers |
25 | José Nuno Oliveira |
Extended Static Checking by Calculation Using the Pointfree Transform. |
LerNet ALFA Summer School |
2008 |
DBLP DOI BibTeX RDF |
formal methods, Theoretical foundations, proof obligations, extended static checking |
25 | Hendrik Decker, Davide Martinenghi |
Classifying integrity checking methods with regard to inconsistency tolerance. |
PPDP |
2008 |
DBLP DOI BibTeX RDF |
inconsistency tolerance, integrity constraints, integrity checking |
25 | Dan Zhu, Tun Li, Yang Guo 0003, Sikun Li |
2D Decomposition Sequential Equivalence Checking of System Level and RTL Descriptions. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
cutpoints, Program slicing, Sequential equivalence checking |
25 | Ali Selamat, Siti Dianah Abdul Bujang |
The Design of Model Checking Agent for SMS Management System. |
KES-AMSTA |
2008 |
DBLP DOI BibTeX RDF |
model checking agent, SMS management system, direct sales and network marketing, e-business |
Displaying result #201 - #300 of 21094 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|