|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8467 occurrences of 3600 keywords
|
|
|
Results
Found 8775 publication records. Showing 8775 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Milos Besta, Frank A. Stomp |
An Assertional Correctness Proof of a Self-Stabilizing - Exclusion Algorithm. |
ICECCS |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Alessandro Coglio, Cordell Green |
A Constructive Approach to Correctness, Exemplified by a Generator for Certified Java Card Applets. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Nikola Milanovic |
Contract-Based Web Service Composition Framework with Correctness Guarantees. |
ISAS |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Jian Cai, Wen Zhao, Shikun Zhang, Lifu Wang |
Correctness Verification of synchronization based workflow model. |
ICEBE |
2005 |
DBLP DOI BibTeX RDF |
workjlow logic, workjlow semantic, model checking, Petri net, workflow, spin model checker |
19 | Yue Li 0019, Depei Qian, Chunxiao Xing, Ying He 0002 |
The PARNEM: Using Network Emulation to Predict the Correctness and Performance of Applications. |
GCC |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Judit Robu, Tetsuo Ida, Dorin Tepeneu, Hidekazu Takahashi, Bruno Buchberger |
Computational Origami Construction of a Regular Heptagon with Automated Proof of Its Correctness. |
Automated Deduction in Geometry |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Emre Kycyman, Yi-Min Wang |
Discovering Correctness Constraints for Self-Management of System Configuration. |
ICAC |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Tiberiu Seceleanu, Juha Plosila |
Constituent Elements of a Correctness-Preserving UML Design Approach. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
UML, refinement, Action Systems |
19 | Carlo Sartiani |
On the Correctness of Query Results in XML P2P Databases. |
Peer-to-Peer Computing |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Dexter Kozen, Jerzy Tiuryn |
Substructural logic and partial correctness. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
specification, linear logic, Dynamic logic, Hoare logic, sequent calculus, substructural logic, Kleene algebra, Kleene algebra with tests |
19 | Ewen Denney, Bernd Fischer 0002 |
Correctness of Source-Level Safety Policies. |
FME |
2003 |
DBLP DOI BibTeX RDF |
program safety, code certification, Program verification, Hoare logic, proof-carrying code |
19 | Susumu Nishimura |
Correctness of a Higher-Order Removal Transformation through a Relational Reasoning. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Aaron Wilson, Margaret M. Burnett, Laura Beckwith, Orion Granatir, Ledah Casburn, Curtis R. Cook, Mike Durham, Gregg Rothermel |
Harnessing curiosity to increase correctness in end-user programming. |
CHI |
2003 |
DBLP DOI BibTeX RDF |
forms/3, surprise-explain-reward strategy, assertions, end-user software engineering, curiosity |
19 | Milo M. K. Martin, Mark D. Hill, David A. Wood 0001 |
Token Coherence: Decoupling Performance and Correctness. |
ISCA |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Micaela Mayero |
Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm). |
TPHOLs |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Timothy Griffin, Gordon T. Wilfong |
On the correctness of IBGP configuration. |
SIGCOMM |
2002 |
DBLP DOI BibTeX RDF |
BGP congfiguration, internal BGP, BGP, border gateway protocol |
19 | Andrés Farías, Mario Südholt |
On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction. |
OTM |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Karl Meinke, L. J. Steggles |
Correctness of dataflow and systolic algorithms using algebras of streams. |
Acta Informatica |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Joseph E. Stoy, Xiaowei Shen, Arvind |
Proofs of Correctness of Cache-Coherence Protocols. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Cristiano Calcagno |
Stratified operational semantics for safety and correctness of the region calculus. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Mark D. Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones |
A Framework for Microprocessor Correctness Statements. |
CHARME |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Anthony C. J. Fox, Neal A. Harman |
Algebraic Models of Correctness for Microprocessors. |
Formal Aspects Comput. |
2000 |
DBLP DOI BibTeX RDF |
Formal Verification, Microprocessors, Algebraic Models |
19 | Jing Dong 0005, Paulo S. C. Alencar, Donald D. Cowan |
Ensuring Structure and Behavior Correctness in Design Composition. |
ECBS |
2000 |
DBLP DOI BibTeX RDF |
design composition, formal methods, design patterns, temporal logic, first-order logic, component-based software development, design components |
19 | Adam Fischbach, John Hannan |
Specification and Correctness of Lambda Lifting. |
SAIG |
2000 |
DBLP DOI BibTeX RDF |
|
19 | Takashi Takenaka, Junji Kitamichi, Teruo Higashino, Kenichi Taniguchi |
Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution. |
ASP-DAC |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas |
A Proof of Correctness of a Processor Implementing Tomasulo's Algorithm without a Reorder Buffer. |
CHARME |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Michel Bidoit, Rolf Hennicker |
Modular Correctness Proofs of Behavioural Implementations. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Wolfgang Goerigk, Ulrich Hoffmann 0002 |
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
19 | Antonio Cerone, David A. Kearney, George J. Milne |
Integrating the Verification of Timing, Performance and Correctness Properties of Concurrent Systems. |
ACSD |
1998 |
DBLP DOI BibTeX RDF |
|
19 | David Sands 0001 |
Proving the Correctness of Recursion-Based Automatic Program Transformations. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
19 | J. R. Jefferson Wadkins |
Rigorous proofs of program correctness without formal logic. |
SIGCSE |
1995 |
DBLP DOI BibTeX RDF |
|
19 | Mitchell Wand |
Specifying the Correctness of Binding-Time Analysis. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Soumen Chakrabarti, Katherine A. Yelick |
On the Correctness of a Distributed Memory Gröbner basis Algorithm. |
RTA |
1993 |
DBLP DOI BibTeX RDF |
|
19 | Mitchell Wand, Dino Oliva |
Proving the Correctness of Storage Representations. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
19 | Matthias Mutz |
Using the HOL Prove Assistant for proving the Correctness of term Rewriting Rules reducing Terms of Sequential Behavior. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
19 | Mitchell Wand |
Correctness of Procedure Representations in Higher-Order Assembly Language. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
|
19 | William M. Farmer, John D. Ramsdell, Ronald J. Watro |
A Correctness Proof for Combinator Reduction with Cycles. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Carl A. Gunter |
Relating Total and Partial Correctness Interpretations of Non-Deterministic Programs. |
POPL |
1990 |
DBLP DOI BibTeX RDF |
|
19 | Annalisa Bossi, Nicoletta Cocco |
Verifying Correctness of Logic Programs. |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
19 | Jeannette M. Wing |
Verifying Atomic Data Types. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
fault-tolerance, distributed systems, program verification, transactions, Atomicity, abstract data types |
19 | Frank A. Stomp |
A Derivation of a Broadcasting Protocol Using Sequentially Phased Reasoning. |
REX Workshop |
1989 |
DBLP DOI BibTeX RDF |
|
19 | David E. Langworthy |
Evaluating correctness criteria for transactions. |
OOPSLA/ECOOP Workshop on Object-based Concurrent Programming |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Masaki Murakami |
Proving Partial Correctness of Guarded Horn Clauses Programs. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
19 | Peter Dybjer |
Using Domain Algebras to Prove the Correctness of a Compiler. |
STACS |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Vijay A. Saraswat |
Partial correctness semantics for CP [ , | , &]. |
FSTTCS |
1985 |
DBLP DOI BibTeX RDF |
|
19 | Oscar H. Ibarra, Louis E. Rosier |
The Equivalence Problem and Correctness Formulas for a Simple Class of Programs (Extended Abstract). |
MFCS |
1984 |
DBLP DOI BibTeX RDF |
|
19 | Derek Coleman, Robin M. Gallimore |
Partial Correctness of Distributed Programs. |
Program Specification |
1981 |
DBLP DOI BibTeX RDF |
|
19 | Leslie Lamport |
A New Approach to Proving the Correctness of Multiprocess Programs. |
ACM Trans. Program. Lang. Syst. |
1979 |
DBLP DOI BibTeX RDF |
|
19 | Arthur G. Duncan, Lawrence Yelowitz |
Studies in Abstract/Concrete Mappings in Proving Algorithm Correctness. |
ICALP |
1979 |
DBLP DOI BibTeX RDF |
|
19 | Filip Maric |
Formalization and Implementation of Modern SAT Solvers. |
J. Autom. Reason. |
2009 |
DBLP DOI BibTeX RDF |
Algorithms, Data structures, Software verification, DPLL, SAT solving |
19 | Matthew Staats, Mats Per Erik Heimdahl |
Partial Translation Verification for Untrusted Code-Generators. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Thirumalaisamy Ragunathan, P. Krishna Reddy |
Improving the Performance of Read-Only Transactions Through Speculation. |
DNIS |
2007 |
DBLP DOI BibTeX RDF |
Transaction processing, Serializability, Speculation, Read-Only Transactions |
19 | David S. Hardin, Eric W. Smith, William D. Young |
A robust machine code proof framework for highly secure applications. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
cryptography, theorem proving, certification, symbolic simulation, ACL2, high-assurance, processor modeling |
19 | Gilles Barthe, Pierre Courtieu, Guillaume Dufay, Simão Melo de Sousa |
Tool-Assisted Specification and Verification of Typed Low-Level Languages. |
J. Autom. Reason. |
2005 |
DBLP DOI BibTeX RDF |
virtual machine, theorem proving, Java Card, bytecode verification |
19 | Pierre Salverda, Grigore Rosu, Craig B. Zilles |
Formally Defining and Verifying Master/Slave Speculative Parallelization. |
FM |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Usa Sammapun, Insup Lee 0001, Oleg Sokolsky |
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
19 | José Raymundo Marcial-Romero, Martín Hötzel Escardó |
Semantics of a Sequential Language for Exact Real-Number Computation. |
LICS |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Daniel Hoffman, Durga Prabhakar, Paul A. Strooper |
Testing iptables. |
CASCON |
2003 |
DBLP BibTeX RDF |
IP |
16 | Peter Dadam, Manfred Reichert |
The ADEPT project: a decade of research and development for robust and flexible process support. |
Comput. Sci. Res. Dev. |
2009 |
DBLP DOI BibTeX RDF |
Process Flexibility, Robustness, Workflow Management, Business Process Management, Correctness by Construction, Process Change |
16 | Sa'ed Abed, Otmane Aït Mohamed, Ghiath Al Sammane |
An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs. |
J. Comput. Sci. Technol. |
2009 |
DBLP DOI BibTeX RDF |
correctness, reachability analysis, multiway decision graphs, HOL theorem prover |
16 | Artem Polyvyanyy, Luciano García-Bañuelos, Mathias Weske |
Unveiling Hidden Unstructured Regions in Process Models. |
OTM Conferences (1) |
2009 |
DBLP DOI BibTeX RDF |
Process structure tree, process model analysis, process model correctness, process model transformation |
16 | Sudipta Kundu, Zachary Tatlock, Sorin Lerner |
Proving optimizations correct using parameterized program equivalence. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
compiler optimization, correctness, translation validation |
16 | Rose H. Abdul Rauf, Ulrich Berger 0001, Anton Setzer |
A Provably Correct Translation of the lambda -Calculus into a Mathematical Model of C++. |
Theory Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Simply typed lambda-calculus, Kripke-style logical relation, Object-oriented programming, Functional programming, Inheritance, Denotational semantics, Correctness proof |
16 | Tolga Ayav, Pascal Fradet, Alain Girault |
Implementing fault-tolerance in real-time programs by automatic program transformations. |
ACM Trans. Embed. Comput. Syst. |
2008 |
DBLP DOI BibTeX RDF |
Fault-tolerance, program transformations, checkpointing, correctness proofs, heartbeating |
16 | Alberto Pettorossi, Maurizio Proietti |
Totally correct logic program transformations via well-founded annotations. |
High. Order Symb. Comput. |
2008 |
DBLP DOI BibTeX RDF |
Program transformation rules, Partial and total correctness, Well-founded orderings, Logic programming |
16 | Laurence Rideau, Bernard P. Serpette, Xavier Leroy |
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves. |
J. Autom. Reason. |
2008 |
DBLP DOI BibTeX RDF |
Parallel move, Parallel assignment, The Coq proof assistant, Compilation, Compiler correctness |
16 | Basil Becker, Holger Giese |
Modeling of correct self-adaptive systems: a graph transformation system based approach. |
CSTST |
2008 |
DBLP DOI BibTeX RDF |
invariant checking, modeling, correctness, graph transformations, self-adaptive systems |
16 | Bruno Galilée, Franck Mamalet, Marc Renaudin, Pierre-Yves Coulon |
Parallel Asynchronous Watershed Algorithm-Architecture. |
IEEE Trans. Parallel Distributed Syst. |
2007 |
DBLP DOI BibTeX RDF |
Asynchronous algorithm-architecture, performance evaluation, image segmentation, hill-climbing, correctness proof, parallel processors, watershed |
16 | Long Zhang 0001, Wei Chen 0001, David S. Ebert, Qunsheng Peng 0001 |
Conservative voxelization. |
Vis. Comput. |
2007 |
DBLP DOI BibTeX RDF |
Conservative correctness, GPU, Voxelization |
16 | Dumitru Potop-Butucaru, Robert de Simone, Yves Sorel |
Necessary and sufficient conditions for deterministic desynchronization. |
EMSOFT |
2007 |
DBLP DOI BibTeX RDF |
endochrony, execution machine, reaction to signal absence, correctness, determinism, GALS, desynchronization, kahn process network |
16 | Stephen Drape, Clark D. Thomborson, Anirban Majumdar 0001 |
Specifying Imperative Data Obfuscations. |
ISC |
2007 |
DBLP DOI BibTeX RDF |
Data Obfuscation, Specification, Refinement, Correctness |
16 | Neal A. Harman |
Algebraic Models of Simultaneous Multithreaded and Multi-core Processors. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
many-sorted algebra, verification, microprocessors, correctness, threaded |
16 | Michal Armoni |
On the role of proofs in a course on design and analysis of algorithms. |
ACM SIGCSE Bull. |
2006 |
DBLP DOI BibTeX RDF |
algorithms, correctness, proof |
16 | Hamoudi Kalla, Jean-Pierre Talpin, David Berner, Loïc Besnard |
Automated Translation of C/C++ Models into a Synchronous Formalism. |
ECBS |
2006 |
DBLP DOI BibTeX RDF |
GNU Compiler Collection, Synchronous Formalism, Functional and Compositional Design Correctness, Formal Methods, SIGNAL, Static Single Assignment |
16 | Albert Cohen 0001, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, Marc Pouzet |
N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
subtyping, synchronous languages, resource constraints, streaming applications, correctness by construction |
16 | Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller 0001, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump |
Roadmap for enhanced languages and methods to aid verification. |
GPCE |
2006 |
DBLP DOI BibTeX RDF |
verified software grand challenge, verification, annotations, programming languages, tools, specification languages, program generation, correctness by construction |
16 | Karthikeyan Bhargavan, Carl A. Gunter |
Network Event Recognition. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
correctness of implementations, languages for network protocols, network event recognition, NERL, Network monitoring, protocol verification, formal analysis |
16 | Klaus Haller, Heiko Schuldt, Can Türker |
Decentralized coordination of transactional processes in peer-to-peer environments. |
CIKM |
2005 |
DBLP DOI BibTeX RDF |
DSGT, global correctness, partial rollback, transactional processes, peer-to-peer communication, decentralized coordination |
16 | Anna Paszynska |
An extension of vose's markov chain model for genetic algorithms. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
Bentley's GA, asymptotic correctness, genetic algorithms, theory, schema theory, ergodity, Markov chain model |
16 | Fubo Zhang, Erik H. D'Hollander |
Using Hammock Graphs to Structure Programs. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
optimization, parallel processing, compilers, Program transformation, structured programming, correctness proofs, software/program verification |
16 | Francisco José Galán Morillo, José Miguel Cañete Valdeón |
A Method for Compiling and Executing Expressive Assertions. |
IFM |
2004 |
DBLP DOI BibTeX RDF |
programming with assertions, meaning-preservingtransformation, formal specification, testing, logic program, correctness, Assertion, program synthesis |
16 | César A. Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler |
Formal verification of conflict detection algorithms. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
Conflict detection correctness, Aircraft trajectory modeling, AILS alerting algorithm, Formal methods |
16 | Marius Bozga, Radu Iosif, Yassine Lakhnech |
Storeless semantics and alias logic. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
heap models, weakest precondition, total correctness |
16 | Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan |
Probabilistic Invariants for Probabilistic Machines. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
the B Method (B), Probability, probabilistic algorithms, weakest preconditions, program correctness, generalised substitutions |
16 | Martin Erwig, Deling Ren |
A rule-based language for programming software updates. |
ACM SIGPLAN Workshop on Rule-Based Programming |
2002 |
DBLP DOI BibTeX RDF |
type change, update program, update safey, type correctness |
16 | Janis Voigtländer |
Concatenate, reverse and map vanish for free. |
ICFP |
2002 |
DBLP DOI BibTeX RDF |
list abstraction, rank-2 types, shortcut deforestation, the concatenate vanishes, theorems for free, program transformation, denotational semantics, combinators, parametricity, correctness proofs |
16 | Svend Frølund, Rachid Guerraoui |
X-Ability: a theory of replication. |
Distributed Comput. |
2001 |
DBLP DOI BibTeX RDF |
Exactly-once, Correctness condition, Replication, High-availability, Multi-tier systems |
16 | Ta-Chung Chang, Vikram Iyengar, Elizabeth M. Rudnick |
A Biased Random Instruction Generation Environment for Architectural Verification of Pipelined Processors. |
J. Electron. Test. |
2000 |
DBLP DOI BibTeX RDF |
architectural verification, biased random instruction generation, correctness checking, design error coverage, design verification, coverage metrics |
16 | Philip W. L. Fong, Robert D. Cameron |
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking. |
ACM Trans. Softw. Eng. Methodol. |
2000 |
DBLP DOI BibTeX RDF |
correctness conditions, proof linking, verification protocol, virtual machine architecture, Java, modularity, safety, mobile code, dynamic linking |
16 | Abdeslam En-Nouaary, Ferhat Khendek, Rachida Dssouli |
Testing embedded real-time systems. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
embedded real-time system testing, system correctness, implementation testing, real-time components, communicating timed input-output automata, testing in context, testing in isolation, timed Wp-method, embedded systems, formal specification, formal verification, program testing, conformance testing, conformance testing, timing constraints, safety-critical systems, test case generation, safety-critical software, automata theory, concurrent processes, communicating processes, system quality, partial product |
16 | Naijun Zhan |
Another formal proof for Deadline Driven Scheduler. |
RTCSA |
2000 |
DBLP DOI BibTeX RDF |
Deadline Driven Scheduler, DDS correctness, random preemption, induction rules, induction propositions, intuitive facts, scheduling, real-time systems, theorem proving, process algebra, duration calculus, formal proof, DC |
16 | Jonathan S. Shapiro, Sam Weber |
Verifying the EROS Confinement Mechanism. |
S&P |
2000 |
DBLP DOI BibTeX RDF |
capability systems, verification, formal specification, operating systems, confinement, proof of correctness |
16 | Christos T. Karamanolis, Dimitra Giannakopoulou, Jeff Magee, Stuart M. Wheater |
Model Checking of Workflow Schemas. |
EDOC |
2000 |
DBLP DOI BibTeX RDF |
workflow schemas, error-prone process, primitive syntactic verification, automata-based method, compositional reachability analysis, model checking, formal methods, formal verification, robustness, correctness, reachability analysis, liveness properties |
16 | Flemming Nielson, Hanne Riis Nielson |
Type and Effect Systems. |
Correct System Design |
1999 |
DBLP DOI BibTeX RDF |
Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness |
16 | Colin D. Walter |
Moduli for Testing Implementations of the RSA Cryptosystem. |
IEEE Symposium on Computer Arithmetic |
1999 |
DBLP DOI BibTeX RDF |
RSA modulus, implementation validation benchmark, verification, testing, cryptography, Computer arithmetic, correctness |
16 | Patrícia D. L. Machado |
On Oracles for Interpreting Test Results against Algebraic Specifications. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
formal verification, correctness, algebraic specification, specification based-testing, oracle |
16 | Carroll Morgan |
The Generalised Substitution Language Extended to Probabilistic Programs. |
B |
1998 |
DBLP DOI BibTeX RDF |
GSL, Probability, weakest preconditions, B, program correctness, generalised substitutions |
16 | Kamel Barkaoui, Claude Kaiser, Jean-François Pradat-Peyre |
Petri nets based proofs of Ada 95 solution for preference control. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
Petri nets based proofs, preference control, dining philosophers paradigm, entry families, requeue statements, Petri nets, deadlock, colored Petri nets, Ada 95, correctness proofs, starvation, protected objects |
16 | Willem C. Mallon, Jan Tijmen Udding |
Using Metrics for Proof Rules for Recursively Defined Delay-insensitive Specifications. |
ASYNC |
1997 |
DBLP DOI BibTeX RDF |
delay-insensitive specifications, recursive definition, linear proofs, intuitive induction rule, algebraic specification, algebraic specifications, theorem provers, correctness proofs, proof rules, proof rule |
16 | James B. Hiller, Thomas C. Hartrum |
Conservative Synchronization in Object-Oriented Parallel Battlefield Discrete Event Simulations. |
Workshop on Parallel and Distributed Simulation |
1997 |
DBLP DOI BibTeX RDF |
execution time savings, generic simulation attributes, logical correctness, null message algorithm, parallel battlefield discrete event simulations, simulation system design, spatially decomposed simulation, deadlock, military computing, performance gain, object-oriented simulation, load imbalance, conservative synchronization |
Displaying result #301 - #400 of 8775 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|