Search results for "Correctness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
34	Wlodzimierz Drabent, Miroslawa Milkowska	Proving Correctness and Completeness of Normal Programs - A Declarative Approach.	ICLP	2001	DBLP DOI BibTeX RDF
32	Chih Lai, H. Rebecca Callison	A framework for simulation of concurrency control policy in real-time systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	concurrency control policy, formal policies, logical correctness, concurrently executing processes, real-time environments, performance, real-time systems, real-time systems, resource allocation, virtual machines, distributed processing, concurrency control, transaction processing, correctness, scheduling policy, overload management, transaction processing systems
32	B. M. Subraya, Anshul Kumar, Shashi Kumar	An HOL based framework for design of correct high level synthesizers.	VLSI Design	1995	DBLP DOI BibTeX RDF	HOL based framework, high level synthesizer design, design correctness guarantee, verifiable templates, synthesis module correctness, formal verification, high level synthesis, modularity, formal logic, higher order logic, verification process, formal framework
32	Olatunji Ruwase, Shimin Chen, Phillip B. Gibbons, Todd C. Mowry	Decoupled lifeguards: enabling path optimizations for dynamic correctness checking tools.	PLDI	2010	DBLP DOI BibTeX RDF	dynamic code optimization, dynamic correctness checking, dynamic program analysis
32	Marcin Bator, Leszek J. Chmielewski	Finding regions of interest for cancerous masses enhanced by elimination of linear structures and considerations on detection correctness measures in mammography.	Pattern Anal. Appl.	2009	DBLP DOI BibTeX RDF	Tumour, Correctness measure, Accumulation line detector, Detection, ROI, Mammograms, Cancer, Elimination, Linear structures
32	Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, Huipeng Guo	Automated synthesis of composite services with correctness guarantee.	WWW	2009	DBLP DOI BibTeX RDF	composition synthesis, correctness constraints, learning algorithm
32	Lei Pan 0002, Lynn Margaret Batten	Robust Correctness Testing for Digital Forensic Tools.	e-Forensics	2009	DBLP DOI BibTeX RDF	correctness testing, data carving tools, digital forensics
32	Janis Voigtländer	Proving correctness via free theorems: the case of the destroy/build-rule.	PEPM	2008	DBLP DOI BibTeX RDF	intermediate data structures, rank-2 types, shortcut deforestation, theorems for free, program transformations, correctness proofs, relational parametricity
32	Paulin Jacobé de Naurois, Virgile Mogbil	Correctness of Multiplicative Additive Proof Structures is NL-Complete.	LICS	2008	DBLP DOI BibTeX RDF	Correctness Criterion, Multiplicative Additive Linear Logic, NL-completness, Computational Complexity, proof-nets
32	Matteo Bordin, Tullio Vardanega	Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Model-Driven Architecture, Metamodelling, Correctness by construction, Ravenscar Profile
32	Robert M. Hierons	Avoiding coincidental correctness in boundary value analysis.	ACM Trans. Softw. Eng. Methodol.	2006	DBLP DOI BibTeX RDF	boundary value analysis, coincidental correctness, domain faults, Test case generation
32	Regivan Hugo Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly	Formal Aspects of Correctness and Optimality of Interval Computations.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF	Interval representations, Optimality, Correctness, Continuity, Interval analysis
32	Yi Wei, Shihong Xia, Dengming Zhu	A robust method for analyzing the physical correctness of motion capture data.	VRST	2006	DBLP DOI BibTeX RDF	equations of multi-rigid- body's motion, physical correctness, motion capture data
32	Kun Peng, Colin Boyd, Ed Dawson	Simple and Efficient Shuffling with Provable Correctness and ZK Privacy.	CRYPTO	2005	DBLP DOI BibTeX RDF	privacy, correctness, permutation, zero knowledge, Shuffling
32	Shuo Yang, Ali Raza Butt, Y. Charlie Hu, Samuel P. Midkiff	Trust but verify: monitoring remotely executing programs for progress and correctness.	PPoPP	2005	DBLP DOI BibTeX RDF	progress monitoring, security, grid computing, trustworthiness, correctness verification, cycle-sharing
32	Ellis Solaiman, Carlos Molina-Jiménez, Santosh K. Shrivastava	Model Checking Correctness Properties of Electronic Contracts.	ICSOC	2003	DBLP DOI BibTeX RDF	contract representation, contract enforcement, correctness requirements, safety and liveness properties, model-checking, validation, finite state machine, Contract, electronic contract
32	J. Paul Gibson, Thomas F. Dowling, Brian A. Malloy	The Application of Correctness Preserving Transformations to Software Maintenance.	ICSM	2000	DBLP DOI BibTeX RDF	correctness preserving transformation, formal methods, Reverse engineering, public key cryptography, code optimization
32	Stefano Ceri, Giuseppe Pelagatti	Correctness of Query Execution Strategies in Distributed Databases.	ACM Trans. Database Syst.	1983	DBLP DOI BibTeX RDF	correctness of database access, distributed database access, relational algebra, read-only transactions
31	Daniel Wasserrab, Denis Lohner, Gregor Snelting	On PDG-based noninterference and its modular proof.	PLAS	2009	DBLP DOI BibTeX RDF	modularity, program slicing, noninterference, correctness proof, program dependence graph
31	Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis	Correct Execution of Transactions at Different Isolation Levels.	IEEE Trans. Knowl. Data Eng.	2004	DBLP DOI BibTeX RDF	transactions, correctness, serializability, Isolation levels
31	Markus Müller-Olm, Andreas Wolf 0004	On Excusable and Inexcusable Failures.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	runtime-error, verification, compiler, refinement, correctness, divergence, predicate transformer
31	Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi	Incremental Verification of Large ScaleWorkflows Based on Extended Correctness.	ICSEA	2008	DBLP DOI BibTeX RDF
31	Bogumil Zieba, Marten van Sinderen	Preservation of Correctness During System Reconfiguration in Data Distribution Service for Real-Time Systems (DDS).	ICDCS Workshops	2006	DBLP DOI BibTeX RDF
31	Keum-Young Sung	Specification with Java IDL for Correctness and Maintainability of Distributed Software System.	ICAS	2006	DBLP DOI BibTeX RDF
31	Stacy Patterson, Divyakant Agrawal, Amr El Abbadi	Guaranteeing Correctness of Lock-Free Range Queries over P2P Data.	DBISP2P	2005	DBLP DOI BibTeX RDF
31	Per Runeson, Måns Holmstedt Jönsson, Fredrik Scheja	Are Found Defects an Indicator of Software Correctness? An Investigation in a Controlled Case Study.	ISSRE	2004	DBLP DOI BibTeX RDF
31	Mark D. Aagaard, Nancy A. Day, Meng Lou	Relating Multi-step and Single-Step Microprocessor Correctness Statements.	FMCAD	2002	DBLP DOI BibTeX RDF
31	Krzysztof R. Apt	Correctness Proofs of Distributed Termination Algorithms.	ACM Trans. Program. Lang. Syst.	1986	DBLP DOI BibTeX RDF	CSP
30	Peter Wegner	Granularity of modules in object-based concurrent systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
30	Bruce Martin	Concurrent programming vs. concurrency control: shared events or shared data.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
29	Sandip Ray, Warren A. Hunt Jr., John Matthews, J Strother Moore	A Mechanical Analysis of Program Verification Strategies.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Inductive assertions, Partial correctness, Theorem proving, Invariants, Total correctness
29	Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb	Design and Specification of Iterators Using the Swapping Paradigm.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	swapping paradigm, common interface model, user defined iterator abstractions, modular correctness proofs, formal specification, formal specification, formal methods, program verification, program verification, iterators, iterator designs, swapping, proof of correctness, modular reasoning, data encapsulation, imperative languages
28	Yanlong Zhai, Hongyi Su, Shouyi Zhan	A Reflective Framework to Support Adaptive Service Composition under Correctness Constrains.	ICIW	2008	DBLP DOI BibTeX RDF	adaptive composition, web service, reflection, correctness, data flow analysis
28	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	On the correctness issues in two-process mutual exclusion algorithms.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	parallel processing, weakest precondition, program specification, program correctness
28	Matthias F. Stallmann, Suzanne Balik, Robert D. Rodman, Sina Bahram, Michael C. Grace, Susan D. High	ProofChecker: an accessible environment for automata theory correctness proofs.	ITiCSE	2007	DBLP DOI BibTeX RDF	accessibility, finite automata, correctness proof
28	Dirk Niebuhr, Andreas Rausch	A concept for dynamic wiring of components: correctness in dynamic adaptive systems.	SAVCBS	2007	DBLP DOI BibTeX RDF	runtime testing, adaptation, component, reconfiguration, correctness, dynamic adaptive systems
28	Arthur Charlesworth	Comprehending software correctness implies comprehending an intelligence-related limitation.	ACM Trans. Comput. Log.	2006	DBLP DOI BibTeX RDF	Peano arithmetic, Zermelo-Fraenkel set theory, infallibility, partial correctness, Agent, consistency, soundness, Hoare logic, Turing machine, limitation, formal proof, halting problem
28	Giacomo Bucci, Luigi Sassoli, Enrico Vicario	Correctness Verification and Performance Analysis of Real-Time Systems Using Stochastic Preemptive Time Petri Nets.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	performance and dependability evaluation, maximal step semantics, well definedness, stochastic preemptive Time Petri nets, preemptive scheduling, discrete time, confusion, Real-time reactive systems, correctness verification
28	Lunjin Lu	Use of correctness assertions in declarative diagnosis.	SAC	2005	DBLP DOI BibTeX RDF	correctness assertions, declarative diagnosis, logic programs
28	Roel J. Wieringa, Jaap Gordijn	Value-oriented design of service coordination processes: correctness and trust.	SAC	2005	DBLP DOI BibTeX RDF	business process modeling and specification, requirements for service-oriented processes, trust, e-business, correctness, value modeling, service coordination
28	Corneliu Popeea, Wei-Ngan Chin	A type system for resource protocol verification and its correctness proof.	PEPM	2004	DBLP DOI BibTeX RDF	dependent type system, resource specification, protocol verification, correctness proof, path-sensitive analysis
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	Corrie Huijs	Design Correctness of Digital Systems.	EUROMICRO	1998	DBLP DOI BibTeX RDF	model refinement and heterogeneity, high-level synthesis, correctness, transformational design
28	Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin	Verifying The Correctness Of Cryptographic Protocols Using "Convince".	ACSAC	1996	DBLP DOI BibTeX RDF	Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support
28	David R. Lester, Sava Mintchev	Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages.	CSL	1994	DBLP DOI BibTeX RDF	Congruence Proof, Lambda Calculus, Denotational Semantics, Theorem Prover, Compiler Correctness
28	Ernst-Rüdiger Olderog	From Trace Specifications to Process Terms.	REX Workshop	1989	DBLP DOI BibTeX RDF	COSY, many-sorted first order logic, trace logic, process correctness, externally deterministic, modified readiness semantics, top-down construction, mixed terms, Milner's scheduling problem, communication, Petri nets, specification, transformations, safety, CSP, liveness, CCS, Concurrent processes
28	Ahmed K. Elmagarmid, Neelam Soundararajan, Ming T. Liu	A Distributed Deadlock Detection and Resolution Algorithm and Its Correctness Proof.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	transaction controller, distributed processing, program verification, transaction processing, transaction processing, programming theory, system recovery, communicating sequential processes, correctness proof, distributed deadlock detection
27	Martha E. Crosby, Curtis S. Ikehara, Wendy S. Ark	Identifying the Nature of Knowledge Using the Pressures Applied to a Computer Mouse.	HCI (16)	2009	DBLP DOI BibTeX RDF	pressure sensitive computer mouse, confidence of correctness, knowledge
27	Ahmed Guessoum, Rached N. Zantout	A Methodology for Evaluating Arabic Machine Translation Systems.	Mach. Transl.	2004	DBLP DOI BibTeX RDF	lexical semantic correctness, grammatical coverage, evaluation, coverage, Arabic, lexicons, pronoun resolution
27	Steve Dunne, Andy Galloway	Lifting General Correctness into Partial Correctness is ok.	IFM	2007	DBLP DOI BibTeX RDF
27	Bernhard Josko	Verifying the Correctness of AADL Modules Using Model Checking.	REX Workshop	1989	DBLP DOI BibTeX RDF	model checking, verification, temporal logic, computer architecture, expressiveness, modular specification
27	Thomas A. Henzinger	From Boolean to quantitative notions of correctness.	POPL	2010	DBLP DOI BibTeX RDF	quantitative specification, quantitative synthesis, quantitative analysis
27	Walter Guttmann	General Correctness Algebra.	RelMiCS	2009	DBLP DOI BibTeX RDF
27	Xuanhua Li, Donald Yeung	Application-Level Correctness and its Impact on Fault Tolerance.	HPCA	2007	DBLP DOI BibTeX RDF
27	Manfred Schmidt-Schauß	Correctness of Copy in Calculi with Letrec.	RTA	2007	DBLP DOI BibTeX RDF
27	Jens Müller 0004, Andreas Gössling, Sergei Gorlatch	On correctness of scalable multi-server state replication in online games.	NETGAMES	2006	DBLP DOI BibTeX RDF
27	Prakash Linga, Adina Crainiceanu, Johannes Gehrke, Jayavel Shanmugasundaram	Guaranteeing Correctness and Availability in P2P Range Indices.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
27	Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson	Studying program correctness in ProVIDE.	ITiCSE	2003	DBLP DOI BibTeX RDF
27	Timothy S. Gegg-Harrison, Gary R. Bunce, Rebecca D. Ganetzky, Christina M. Olson, Joshua D. Wilson	Studying program correctness by constructing contracts.	ITiCSE	2003	DBLP DOI BibTeX RDF	Java, design by contract, axiomatic semantics
27	John Hughes 0001	The Correctness of Type Specialisation.	ESOP	2000	DBLP DOI BibTeX RDF
27	Marius A. Cornea-Hasegan, Roger A. Golliver, Peter W. Markstein	Correctness Proofs Outline for Newton-Raphson Based Floating-Point Divide and Square Root Algorithms.	IEEE Symposium on Computer Arithmetic	1999	DBLP DOI BibTeX RDF
27	Peter V. Homeier, David F. Martin	Mechanical Verification of Total Correctness through Diversion Verification Conditions.	TPHOLs	1998	DBLP DOI BibTeX RDF
27	Devendra Kumar, S. Sitharama Iyengar	A Semiformal Correctness Proof of a Network Broadcast Algorithm.	COMPSAC	1997	DBLP DOI BibTeX RDF
27	Robert F. Stärk	Total Correctness of Logic Programs: A Formal Approach.	ELP	1996	DBLP DOI BibTeX RDF	Formal methods in logic programming, verification of logic programs, pure Prolog, negation as failure
27	Mark Moriconi, Xiaolei Qian	Correctness and Composition of Software Architectures.	SIGSOFT FSE	1994	DBLP DOI BibTeX RDF
27	Divyakant Agrawal, Amr El Abbadi, Ambuj K. Singh	Consistency and Orderability: Semantics-Based Correctness Criteria for Databases.	ACM Trans. Database Syst.	1993	DBLP DOI BibTeX RDF	serializability theory, semantics, concurrency control, object-oriented databases
27	Wolfgang Reif	An Approach to Parameterized First-Order Specifications: Semantics, Correctness, Parameter Passing.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
27	Stephen L. Bloom, Zoltán Ésik	Program Correctness and Matricial Iteration Theories.	MFPS	1991	DBLP DOI BibTeX RDF
27	Alan D. Fekete, Nancy A. Lynch, Liuba Shrira	A Modular Proof of Correctness for a Network Synchronizer (Research Summary).	WDAG	1987	DBLP DOI BibTeX RDF
27	Simon S. Lam	Protocol conversion - correctness problems.	SIGCOMM	1986	DBLP DOI BibTeX RDF
27	E. Allen Emerson, Edmund M. Clarke	Characterizing Correctness Properties of Parallel Programs Using Fixpoints.	ICALP	1980	DBLP DOI BibTeX RDF
27	Matthew M. Geller	Test Data as an Aid in Proving Program Correctness.	POPL	1976	DBLP DOI BibTeX RDF	Inductive assertions, Modular programming, Program verification, Program testing, Recursive programs
25	Kassem Saleh, Robert L. Probert	Synthesis of Error-Recoverable Protocol Specifications from Service Specifications.	ICCI	1990	DBLP DOI BibTeX RDF	syntactic correctness, synthesis, error-recovery, protocol design, semantic correctness, Communication software
25	Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf	Validating The Utility Of Abstraction Techniques.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Abstraction and representation, Verification, Formal specification, Validation, Programming languages, Correctness, Types, Abstract data types, Encapsulation, Programming methodology, Proofs of correctness, Modular decomposition
24	Wes Masri, Rawad Abou Assi	Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization.	ICST	2010	DBLP DOI BibTeX RDF	coincidental correctness, software testing, fault localization
24	Hartmut Ehrig, Claudia Ermel, Frank Hermann 0001, Ulrike Prange	On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars.	MoDELS	2009	DBLP DOI BibTeX RDF	Model transformation, correctness, triple graph grammars
24	Xiaolei Gao, Huaikou Miao	Proving Total Correctness of Refinement Based on Tableau.	ISPA	2009	DBLP DOI BibTeX RDF	Tableau method, Specification, refinement, theorem proving, Program Synthesis, total correctness
24	Nikola Trcka, Natalia Sidorova, Wil M. P. van der Aalst	Soundness and Niceness as Correctness Criteria for Grid Workflows.	eScience	2008	DBLP DOI BibTeX RDF	correctness, grid workflow
24	René Wörzberger, Thomas Kurpick, Thomas Heer	On Correctness, Compliance and Consistency of Process Models.	WETICE	2008	DBLP DOI BibTeX RDF	models, consistency, process, correctness, compliance
24	Christopher Thomson, Mike Holcombe	Correctness of data mined from CVS.	MSR	2008	DBLP DOI BibTeX RDF	data mining, correctness, CVS
24	Douglas Herbert, Vinaitheerthan Sundaram, Yung-Hsiang Lu, Saurabh Bagchi, Zhiyuan Li 0001	Adaptive correctness monitoring for wireless sensor networks using hierarchical distributed run-time invariant checking.	ACM Trans. Auton. Adapt. Syst.	2007	DBLP DOI BibTeX RDF	correctness monitoring, fault tolerance and diagnostics, programming models and languages, data integrity, tools, Invariants, network protocols, run-time, in-network processing and aggregation
24	João Araújo 0001, Didar Zowghi, Ana Moreira 0001	An evolutionary model of requirements correctness with early aspects.	IWPSE	2007	DBLP DOI BibTeX RDF	requirements correctness, aspect-oriented software development, early aspects
24	Alexandros Ntoulas, Junghoo Cho	Pruning policies for two-tiered inverted index with correctness guarantee.	SIGIR	2007	DBLP DOI BibTeX RDF	correctness guarantee, pruning, web search engines, inverted index
24	Klaus Indermark, Thomas Noll 0001	Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Stack implementation, Formal semantics, Functional languages, Evaluation strategies, Compiler correctness
24	Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani	Types for path correctness of XML queries.	ICFP	2004	DBLP DOI BibTeX RDF	XML types, XML queries, type correctness
24	Lilian Burdy, Antoine Requet, Jean-Louis Lanet	Java Applet Correctness: A Developer-Oriented Approach.	FME	2003	DBLP DOI BibTeX RDF	Proof User Interface, Java, Correctness Proof
24	Sorin Lerner, Todd D. Millstein, Craig Chambers	Automatically proving the correctness of compiler optimizations.	PLDI	2003	DBLP DOI BibTeX RDF	automated correctness proofs, compiler optimization
24	Orna Raz, Mary Shaw	An Approach to Preserving Sufficient Correctness in Open Resource Coalitions.	IWSSD	2000	DBLP BibTeX RDF	Medium-assurance software, everyday software, fitness for task, open resource coalitions, sufficient correctness, software homeostasis, distributed component-based software, fault tolerance
24	Bojan Cukic	Combining Testing and Correctness Verification in Software Reliability Assessment.	HASE	1997	DBLP DOI BibTeX RDF	probability of correctness, process-control software, Software reliability, safety-critical systems, statistical sampling
24	Kenneth P. Smith, Barbara T. Blaustein, Sushil Jajodia, LouAnna Notargiacomo	Correctness Criteria for Multilevel Secure Transactions.	IEEE Trans. Knowl. Data Eng.	1996	DBLP DOI BibTeX RDF	multilevel secure transactions, transaction execution correctness criteria, distributed databases, concurrency control, Atomicity, database security, locking protocols
24	Manuel Blum 0001, William S. Evans, Peter Gemmell, Sampath Kannan, Moni Naor	Checking the Correctness of Memories	FOCS	1991	DBLP DOI BibTeX RDF	memories correctness checking, reliable memory, sequence of requests, data structure, lower bounds, probability, program checking
24	Ralph-Johan Back	Refinement Calculus, Part II: Parallel and Reactive Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	hiding, simulation, parallel programs, fairness, weakest preconditions, Stepwise refinement, reactive programs, action systems, parallel composition, total correctness, refinement mappings, stuttering
24	Ralph-Johan Back, Joakim von Wright	Refinement Calculus, Part I: Sequential Nondeterministic Programs.	REX Workshop	1989	DBLP DOI BibTeX RDF	angelic nondeterminism, demonic non-determinism, miraculous statements, inverse statements, lattices, weakest preconditions, Stepwise refinement, data refinement, specification methods, total correctness
24	David K. Probst, Hon Fung Li	Abstract Specification of Synchronous Data Types for VLSI and Proving the Correctness of Systolic Network Implementations.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF	correctness proving, abstract specification, synchronous data types, systolic network implementations, Parnas trace method, VLSI, VLSI, data structures, data flow, control flow, cellular arrays, software modules
24	Jan J. M. M. Rutten	Correctness and full abstraction of metric semantics for concurrency.	REX Workshop	1988	DBLP DOI BibTeX RDF	complete metric spaces, concurrency, contractions, correctness, operational semantics, compositionality, denotational semantics, full abstraction
24	Philip A. Bernstein, David W. Shipman	The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1).	ACM Trans. Database Syst.	1980	DBLP DOI BibTeX RDF	correctness of concurrency control, serializability theory, distributed database system, conflict graph
24	Jyotirmoy V. Deshmukh, E. Allen Emerson, Prateek Gupta	Automatic Verification of Parameterized Data Structures.	TACAS	2006	DBLP DOI BibTeX RDF	Parameterized correctness, Data structures
24	Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve	Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach.	ICATPN	2003	DBLP DOI BibTeX RDF	modelling, verification, Petri nets, workflow, correctness, soundness, separability, serialisability
24	Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright	Class Refinement as Semantics of Correct Object Substitutability.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Class refinement, Code inheritance, Behavioural compatibility, Object substitutability, Semantics of object-oriented constructs, Implicit and explicit invariants, New methods, Correctness, Subtyping, Subclassing
24	Daniel Brand, Reinaldo A. Bergamaschi, Leon Stok	Be careful with don't cares.	ICCAD	1995	DBLP DOI BibTeX RDF	specifications, logic design, logic CAD, correctness, replaceability, don't cares