|
|
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 |
25 | Roopak Sinha, Partha S. Roop, Samik Basu 0001 |
A Module Checking Based Converter Synthesis Approach for SoCs. |
VLSI Design |
2008 |
DBLP DOI BibTeX RDF |
protocol mismatches, mod- ule checking, protocol conversion |
25 | Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont |
Probabilistic abstraction for model checking: An approach based on property testing. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
Approximate verification, probabilistic abstraction, model checking, property testing, probabilistic verification |
25 | Fathi Taibi, Jacob Karikottu Daniel, Fouad Mohammed Abbou |
On checking the consistency of Object-Z classes. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
model checking, formal specification, consistency, Object-Z, specification testing, model abstraction |
25 | Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens |
Model-checking the preservation of temporal properties upon feature integration. |
Int. J. Softw. Tools Technol. Transf. |
2007 |
DBLP DOI BibTeX RDF |
Model checking, Feature, State-explosion problem, Property preservation |
25 | Amnon Meisels, Roie Zivan |
Asynchronous Forward-checking for DisCSPs. |
Constraints An Int. J. |
2007 |
DBLP DOI BibTeX RDF |
Distributed CSPs, Asynchronous search, Forward-checking |
25 | Sandip Ray, Rob Sumners |
Combining Theorem Proving with Model Checking through Predicate Abstraction. |
IEEE Des. Test Comput. |
2007 |
DBLP DOI BibTeX RDF |
model checking, formal verification, theorem proving, predicate abstraction, ACL2 |
25 | Moshe Y. Vardi |
Linear-Time Model Checking: Automata Theory in Practice. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
Büchi automata, model checking, linear-temporal logic |
25 | Lionel van den Berg, Paul A. Strooper, Kirsten Winter |
Introducing Time in an Industrial Application of Model-Checking. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
real-time system, model checking, railway interlockings |
25 | Chunming Gao, Jin Li, Zhoujun Li, Huowang Chen |
Model Checking for BPEL4WS with Time. |
APWeb/WAIM Workshops |
2007 |
DBLP DOI BibTeX RDF |
Timed Mobile Ambient, model checking, modal logic, BPEL |
25 | Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar |
Model Checking with Strong Fairness. |
Formal Methods Syst. Des. |
2006 |
DBLP DOI BibTeX RDF |
fair discrete systems, temporal testers, model checking, temporal logic, fairness, CTL, LTL |
25 | Chris Bentley, Scott A. Watterson, David K. Lowenthal, Barry Rountree |
Implicit array bounds checking on 64-bit architectures. |
ACM Trans. Archit. Code Optim. |
2006 |
DBLP DOI BibTeX RDF |
virtual memory, Array-bounds checking, 64-bit architectures |
25 | Leo Freitas, Jim Woodcock 0001, Ana Cavalcanti 0001 |
State-rich model checking. |
Innov. Syst. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Formal method tools, Model checking, Theorem proving, Abstract interpretation |
25 | 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 |
25 | Alastair F. Donaldson, Alice Miller 0001 |
Exact and Approximate Strategies for Symmetry Reduction in Model Checking. |
FM |
2006 |
DBLP DOI BibTeX RDF |
Promela/Spin, computational group theory, model checking, symmetry, Gap |
25 | Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson 0001 |
Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking. |
FM |
2006 |
DBLP DOI BibTeX RDF |
partitioned transition relations, clustering, Binary Decision Diagrams, Symbolic model checking, image computation, railway interlockings |
25 | Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani |
SYNERGY: a new algorithm for property checking. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
testing, software model checking, abstraction refinement, directed testing |
25 | Pavel Parízek, Frantisek Plásil, Jan Kofron |
Model Checking of Software Components: Combining Java PathFinder and Behavior Protocol Model Checker. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
cooperation of model checkers, model checking, software components, behavior protocols |
25 | Tomohiro Kaizu, Tomoya Noro, Takehiro Tokuda |
A state propagation method for consistency checking of web service function invocations in web applications. |
ICWE Workshops |
2006 |
DBLP DOI BibTeX RDF |
Web services, semantic Web, Web applications, OWL-S, consistency checking |
25 | Sachoun Park, Gihwon Kwon |
Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model. |
ICCSA (5) |
2006 |
DBLP DOI BibTeX RDF |
Model checking, Dependency analysis, Model reduction, State explosion problem |
25 | Chang Xu 0001, Shing-Chi Cheung, W. K. Chan 0001 |
Incremental consistency checking for pervasive context. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
incremental consistency checking, pervasive computing, context management |
25 | Patrice Godefroid |
Software Model Checking: The VeriSoft Approach. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
program verification, software model checking, systematic testing |
25 | José Manuel Cazeaux, Daniele Rossi 0001, Cecilia Metra |
Self-Checking Voter for High Speed TMR Systems. |
J. Electron. Test. |
2005 |
DBLP DOI BibTeX RDF |
high reliabily, duplication and comparison, self-checking, voter, TMR systems |
25 | Lilian Harada, Yuuji Hotta |
Order checking in a CPOE using event analyzer. |
CIKM |
2005 |
DBLP DOI BibTeX RDF |
order checking, sequential pattern, pattern detection |
25 | 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 |
25 | Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli |
Passive Testing - A Constrained Invariant Checking Approach. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
invariant checking, SCP, invariants, constraint solving, passive testing |
25 | Sébastien Bardin, Alain Finkel, Jérôme Leroux, Philippe Schnoebelen |
Flat Acceleration in Symbolic Model Checking. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
verification of infinite-state systems, acceleration, symbolic model checking |
25 | Yoonsik Cheon, Gary T. Leavens |
A contextual interpretation of undefinedness for runtime assertion checking. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
undefinedness, formal methods, exceptions, JML language, runtime assertion checking, partial functions |
25 | Kairong Qian, Albert Nymeyer, Steven Susanto |
Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
model approximations, Formal verification, heuristic search, symbolic model checking, data abstractions |
25 | Ohad Shacham, Mooly Sagiv, Assaf Schuster |
Scaling model checking of dataraces using dynamic information. |
PPoPP |
2005 |
DBLP DOI BibTeX RDF |
datarace, lockset, model checking, multithreading, data race detection |
25 | Ofer Strichman |
Accelerating Bounded Model Checking of Safety Properties. |
Formal Methods Syst. Des. |
2004 |
DBLP DOI BibTeX RDF |
SAT, Bounded Model Checking |
25 | Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente |
Directed explicit-state model checking in the validation of communication protocols. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Directed search, Protocol validation |
25 | Alex Groce, Willem Visser |
Heuristics for model checking Java programs. |
Int. J. Softw. Tools Technol. Transf. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Testing, Heuristic search, Coverage metrics |
25 | Henning Dierks |
Comparing model checking and logical reasoning for real-time systems. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Verification, Real-time, Timed Automata, Duration Calculus |
25 | Wojciech Jamroga |
Strategic Planning through Model Checking of ATL Formulae. |
ICAISC |
2004 |
DBLP DOI BibTeX RDF |
Multi-agent systems, model checking, multi-agent planning |
25 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar |
Race checking by context inference. |
PLDI |
2004 |
DBLP DOI BibTeX RDF |
software model checking, race conditions |
25 | Chris Bentley, Scott A. Watterson, David K. Lowenthal, Barry Rountree |
Implicit java array bounds checking on 64-bit architecture. |
ICS |
2004 |
DBLP DOI BibTeX RDF |
java, virtual memory, array-bounds checking |
25 | Orna Kupferman, Moshe Y. Vardi |
Vacuity detection in temporal model checking. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Vacuous satisfaction, Model checking |
25 | Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen |
Model-Checking Algorithms for Continuous-Time Markov Chains. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, transient analysis, uniformization, Continuous-time Markov chain, steady-state analysis, lumping |
25 | Angelo Gilio, Veronica Biazzo, Giuseppe Sanfilippo |
Coherence checking and propagation of lower probability bounds. |
Soft Comput. |
2003 |
DBLP DOI BibTeX RDF |
g-coherence checking, Lower conditional probability bounds, Non relevant gains, Basic sets, Propagation |
25 | Marko Mäkelä |
Model Checking Safety Properties in Modular High-Level Nets. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
state space enumeration, model checking, modular systems, high-level nets |
25 | Jing-Ling Yang, Oliver Chiu-sing Choy, Cheong-Fat Chan, Kong-Pang Pun |
Design for Self-Checking and Self-Timed Datapath. |
VTS |
2003 |
DBLP DOI BibTeX RDF |
asynchronous datapath, differential cascode voltage switch logic, Self-checking, dynamic circuits |
25 | Rik Eshuis, David N. Jansen, Roel J. Wieringa |
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts. |
Requir. Eng. |
2002 |
DBLP DOI BibTeX RDF |
Execution semantics, Model checking, Statecharts |
25 | Klaus Havelund, Willem Visser |
Program model checking as a new trend. |
Int. J. Softw. Tools Technol. Transf. |
2002 |
DBLP DOI BibTeX RDF |
Concurrent programming languages, Java, Model checking, Program verification, SPIN |
25 | Xudong He, Junhua Ding, Yi Deng 0001 |
Model checking software architecture specifications in SAM. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
model checking, software architecture, petri nets, temporal logic |
25 | Jing-Ling Yang, Oliver Chiu-sing Choy, Cheong-Fat Chan, Kong-Pang Pun |
A Totally Self-Checking Dynamic Asynchronous Datapath. |
Asian Test Symposium |
2002 |
DBLP DOI BibTeX RDF |
Totally self-checking asynchronous datapath, differential cascade voltage switch logic, divider |
25 | Hee-Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple |
Combinational equivalence checking through function transformation. |
ICCAD |
2002 |
DBLP DOI BibTeX RDF |
combinational verification, equivalence checking |
25 | Walter Hartong, Lars Hedrich, Erich Barke |
Model checking algorithms for analog verification. |
DAC |
2002 |
DBLP DOI BibTeX RDF |
nonlinear analog systems, model checking, formal methods |
25 | Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux |
Extending the Translation from SDL to Promela. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
SDL formalism, save operator, model-checking, data abstraction |
25 | Rajeev Alur, Mihalis Yannakakis |
Model checking of hierarchical state machines. |
ACM Trans. Program. Lang. Syst. |
2001 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, statecharts, Hierarchical state machines |
25 | Timo Latvala |
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
Model checking, fairness, high-level Petri Nets, LTL |
25 | Roberto Giacobazzi, Elisa Quintarelli |
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
Domain Refinement, Model-checking, Verification, Program Analysis, Abstract Interpretation, Completeness |
25 | Sergio Antoy, Richard G. Hamlet |
Automatically Checking an Implementation against Its Formal Specification. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
Self-checking code, object-oriented software testing, formal specification, rewriting |
25 | Michael J. Liebelt, Cheng-Chew Lim |
A method for determining whether asynchronous circuits are self-checking. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
low-power electronics, TSC, low noise properties, semi-modular asynchronous circuit, output stuck-at-faults, low power, fault diagnosis, logic testing, integrated circuit testing, design for testability, asynchronous circuits, testability, totally self-checking, integrated circuit noise |
25 | James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby |
Bandera: a source-level interface for model checking Java programs. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
debugging and testing, Java, Java, model checking, program analysis |
25 | Takahiro Hanyu, Tsukasa Ike, Michitaka Kameyama |
Integration of asynchronous and self-checking multiple-valued current-mode circuits based on dual-rail differential logic. |
PRDC |
2000 |
DBLP DOI BibTeX RDF |
dual-rail differential logic, multiple-valued current-mode circuits, asynchronous-control circuit, logic testing, asynchronous circuits, self-checking circuit, current-mode logic, current-mode circuits |
25 | Xiaoqun Du, Scott A. Smolka, Rance Cleaveland |
Local Model Checking and Protocol Analysis. |
Int. J. Softw. Tools Technol. Transf. |
1999 |
DBLP DOI BibTeX RDF |
Modal mu-calculus, Model checking, Real-time, Protocol verification, State explosion |
25 | Barbara Fox, Brian A. LaMacchia |
Online Certificate Status Checking in Financial Transactions: The Case for Re-issuance. |
Financial Cryptography |
1999 |
DBLP DOI BibTeX RDF |
online certificate status checking, certificate re-issuance, high-value financial transactions, risk management, public key infrastructure |
25 | Y. Tachi, Satoshi Yamane |
Real-Time Symbolic Model Checking for Hard Real-Time Systems. |
RTCSA |
1999 |
DBLP DOI BibTeX RDF |
real-time symbolic model checking, real-time systems, timed automaton, real-time temporal logic |
25 | Ricardo de Oliveira Duarte, Michael Nicolaidis, Hakim Bederr, Yervant Zorian |
Efficient Totally Self-Checking Shifter Design. |
J. Electron. Test. |
1998 |
DBLP DOI BibTeX RDF |
parity prediction, fault-secure circuits, on-line testing, self-checking circuits |
25 | Kathi Fisler, Claude Girault |
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol. |
ICATPN |
1998 |
DBLP DOI BibTeX RDF |
Protocol design and verification, model checking, distributed shared memory, high level Petri nets, memory consistency |
25 | Matthew B. Dwyer, Corina S. Pasareanu |
Filter-Based Model Checking of Partial Systems. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
filter-based analysis, model checking, assume-guarantee reasoning, software verification and validation |
25 | Bin Ni, Zehua Zhou |
An Automatically Dynamic Checking Tool for Java Beans Semantic Constraints. |
TOOLS (27) |
1998 |
DBLP DOI BibTeX RDF |
dynamic model checking, formal specification, Component, semantic constraints |
25 | Hal Wasserman, Manuel Blum 0001 |
Software reliability via run-time result-checking. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
self-correcting, fault tolerance, debugging, Fourier transform, concurrent error detection, built-in testing, result-checking |
25 | Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis |
Consistency checking of SCR-style requirements specifications. |
RE |
1995 |
DBLP DOI BibTeX RDF |
SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness |
24 | Patrice Godefroid, Nir Piterman |
LTL Generalized Model Checking Revisited. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Peter Lamborn, Eric A. Hansen |
Layered Duplicate Detection in External-Memory Model Checking. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Huu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin |
Runtime Checking for Separation Logic. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Vijay Victor D'Silva, Mitra Purandare, Daniel Kroening |
Approximation Refinement for Interpolation-Based Model Checking. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Sumit Gulwani, Ashish Tiwari 0001 |
Assertion Checking Unified. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Moshe Y. Vardi |
Automata-Theoretic Model Checking Revisited. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Saswat Anand, Corina S. Pasareanu, Willem Visser |
Symbolic Execution with Abstract Subsumption Checking. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Sebastian Kupferschmid, Jörg Hoffmann 0001, Henning Dierks, Gerd Behrmann |
Adapting an AI Planning Heuristic for Directed Model Checking. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Charles Pecheur, Franco Raimondi |
Symbolic Model Checking of Logics with Actions. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Katia Hristova, Yanhong A. Liu |
Improved Algorithm Complexities for Linear Temporal Logic Model Checking of Pushdown Systems. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Alastair F. Donaldson, Simon J. Gay |
Etch: An Enhanced Type Checking Tool for Promela. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Laura Bozzelli |
Model Checking for Process Rewrite Systems and a Class of Action-Based Regular Properties. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
24 | David Garlan, Serge Khersonsky, Jung Soo Kim |
Model Checking Publish-Subscribe Systems. |
SPIN |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Alex Groce, Willem Visser |
Heuristic Model Checking for Java Programs. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue |
Partial Order Reduction in Directed Model Checking. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Bernhard Steffen, Tiziana Margaria, Volker Braun |
Coarse-Granular Model Checking in Practice. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Marsha Chechik, Benet Devereux, Arie Gurfinkel |
Model-Checking Infinite State-Space Systems with Fine-Grained Abstractions Using SPIN. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube |
Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. |
EUROMICRO |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth 0001 |
Assume-Guarantee Model Checking of Software: A Comparative Case Study. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Wenhui Zhang |
Model Checking Operator Procedures. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Steffen Tarnick |
Controllable self-checking checkers for conditional concurrent checking. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
24 | Niraj K. Jha |
Strong fault-secure and strongly self-checking domino-CMOS implementations of totally self-checking circuits. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
24 | Mitsuhisa Sato, Shuichi Ichikawa, Eiichi Goto |
Run-Time Checking in Lisp by Integrating Memory Addressing and Range Checking. |
ISCA |
1989 |
DBLP DOI BibTeX RDF |
LISP |
24 | Conghua Zhou |
A compositional symbolic verification framework for concurrent software. |
Infoscale |
2007 |
DBLP DOI BibTeX RDF |
model checking, composition, abstract, SAT |
24 | Oksana Tkachuk, Sreeranga P. Rajan |
Application of automated environment generation to commercial software. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
environment generation, modular model checking |
24 | Moonzoo Kim, Mahesh Viswanathan 0001, Sampath Kannan, Insup Lee 0001, Oleg Sokolsky |
Java-MaC: A Run-Time Assurance Approach for Java Programs. |
Formal Methods Syst. Des. |
2004 |
DBLP DOI BibTeX RDF |
run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation |
24 | Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath |
Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs. |
Formal Methods Syst. Des. |
2004 |
DBLP DOI BibTeX RDF |
software verifcation, locking discipline, software model checking, partial order reduction, escape analysis |
24 | Theo C. Ruys, Ed Brinksma |
Managing the verification trajectory. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Model checking, Software configuration management, Computer-aided verification |
24 | Viktor Kuncak, Martin C. Rinard |
Existential Heap Abstraction Entailment Is Undecidable. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
Program Verification, Shape Analysis, Type Checking, Monadic Second-Order Logic, Typestate, Graph Homomorphism, Post Correspondence Problem |
24 | Michael Huber, Steve King 0001 |
Towards an Integrated Model Checker for Railway Signalling Data. |
FME |
2002 |
DBLP DOI BibTeX RDF |
Data verification, hidden formal methods, model checking |
24 | Diana El Rabih, Nihal Pekergin |
Statistical Model Checking Using Perfect Simulation. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Sumit Kumar Jha 0001, Edmund M. Clarke, Christopher James Langmead, Axel Legay, André Platzer, Paolo Zuliani |
A Bayesian Approach to Model Checking Biological Systems. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Yakir Vizel, Orna Grumberg |
Interpolation-sequence based model checking. |
FMCAD |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Eugen-Nicolae Volanschi |
A portable compiler-integrated approach to permanent checking. |
Autom. Softw. Eng. |
2008 |
DBLP DOI BibTeX RDF |
User-defined checks, Extensible compilers |
24 | Edmund M. Clarke |
Model Checking - My 27-Year Quest to Overcome the State Explosion Problem. |
LPAR |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Adenilso da Silva Simão, Alexandre Petrenko |
Generating Checking Sequences for Partial Reduced Finite State Machines. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 21094 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|