Search results for "Correctness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Rafael Ramírez 0001	A logical approach for specification and execution of concurrent real-time systems.	RTCSA	1997	DBLP DOI BibTeX RDF	logical approach, concurrent real time system specification, declarative logic programming based language, concurrent real time programming, procedural interpretation, concurrent programming paradigms, kernel language, concurrent real time object oriented framework, correctness, temporal constraints, safety properties, logic programming languages, time requirements
16	Matthew B. Dwyer	Modular Flow Analysis for Concurrent Software.	ASE	1997	DBLP DOI BibTeX RDF	modular flow analysis, FLAVERS, early validation, individual module designs, system-level validation, whole-program automated static analysis technique, concurrent software systems, program flow analysis, explicitly stated correctness properties, modular analysis approach, realistic concurrent multi-component system, parallel programming
16	Alessandro Armando, Alan Smaill, Ian Green	Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm.	ASE	1997	DBLP DOI BibTeX RDF	proof-planning paradigm, recursive functional programs, functional programming, correctness proofs, automatic synthesis, recursive programs, unification algorithm
16	Xuejun Zhao, Xinyu Liu, Shengling Zheng, Baochang Pan, Yuan Yan Tang	On-line recognition handwritten mathematical symbol.	ICDAR	1997	DBLP DOI BibTeX RDF	online handwritten mathematical symbol recognition, basic element ordering, standard symbols, basic element vector, basic element length vector, dynamic programming method, unmatching value, matching value, geometric restraints, improved Kohn-Munkres algorithm, correctness rate, incorrectness rate, refusal rate, handwriting recognition, relative positions
16	Farokh B. Bastani, Bojan Cukic	Impact of program transformation on software reliability assessment.	HASE	1996	DBLP DOI BibTeX RDF	statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment
16	Thomas F. Keefe, Wei-Tek Tsai	A multiversion transaction scheduler for centralized multilevel secure database systems.	HASE	1996	DBLP DOI BibTeX RDF	multiversion transaction scheduler, centralized multilevel secure database systems, multilevel secure database management systems, MLS/DBMSs, secure multiversion scheduling protocol, serializable schedules, MLS noninterference assertions, timestamp generation, concurrency, concurrency control, transactions, correctness, contention, failure, covert channels, data access, abstract model, concurrent execution, multiple versions
16	Erik Jacobsen, Eric Rotenberg, James E. Smith 0001	Assigning Confidence to Conditional Branch Predictions.	MICRO	1996	DBLP DOI BibTeX RDF	branch correctness, conditional branch predictions, dynamic branches, processor resources, static branches, resource allocation
16	Gerald C. Gannod, Betty H. C. Cheng	Using Informal and Formal Techniques for the Reverse Engineering of C Programs.	WCRE	1996	DBLP DOI BibTeX RDF	informal techniques, higher level abstraction, programming methods, code correctness, ground-based command system, unmanned flight systems, spacecraft control, formal specifications, reverse engineering, reverse engineering, object-oriented programming, software maintenance, program understanding, legacy system, system re-engineering, formal techniques, C programs, program semantics
16	Brian Field, Daniel Mossé, Taieb Znati	Simulation of ν-NET, a versatile network architecture for real-time and non-real-time traffic.	Annual Simulation Symposium	1996	DBLP DOI BibTeX RDF	nonreal-time traffic, Versatile Network Architecture, /spl nu/-NET, flexible communication requirement support, traffic policing mechanisms, /spl nu/-NET validation, real-time performance requirements, /spl nu/-channel traffic profiles, /spl nu/-NET performance, simulations, scheduling, performance evaluation, real-time systems, virtual machines, multimedia systems, correctness, multimedia applications, wide area networks, telecommunication traffic, information dissemination, information networks, scheduling policies, real-time traffic, real-time networks, QoS requirements, packet scheduling algorithms
16	Souâd Taouil-Traverson, Sylvie Vignes	Preliminary Analysis Cycle for B-Method Software Development.	EUROMICRO	1996	DBLP DOI BibTeX RDF	preliminary analysis cycle, B-method software development, a priori errors detection, inconsistency deficiencies, formal specification, formal specifications, formal methods, correctness proofs, incompleteness, testing process, software life-cycle
16	Corrie Huijs	A Graph Rewriting Approach for Transformational Design of Digital Systems.	EUROMICRO	1996	DBLP DOI BibTeX RDF	graph rewriting approach, behaviour preserving transformations, compositional formal semantics, semantic aspects, attribute algebra, table algebra, database theory, visualisation, relation algebra, rewriting systems, digital systems, graph representations, correctness by construction, attributed graphs, transformational design
16	Olivier Thiry, Luc J. M. Claesen	A formal verification technique for embedded software.	ICCD	1996	DBLP DOI BibTeX RDF	embedded software correctness, assembly program code, CTL temporal logic formulae, embedded system application, assembly language program, formal verification, program verification, formal model, embedded software, processor architecture, instruction set
16	Young-Kuk Kim, Sang Hyuk Son	Supporting predictability in real-time database systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	multiple predictability levels, read times, transaction processing scheme, operating environment changes, critical transaction completion guarantees, correctness criterion, predictable transaction execution, data temporal consistency, deadline miss ratio minimization, simulation, performance, real-time systems, adaptability, specifications, data integrity, software reliability, transaction processing, database theory, temporal databases, timing constraints, software performance evaluation, serializability, temporal constraints, prediction theory, real-time database systems, transaction scheduling
16	Marcus Costa Sampaio, Stéphane Turc	Cooperative Transactions: A Data-Driven Approach.	HICSS (1)	1996	DBLP DOI BibTeX RDF	Cooperative transactions, cooperative atomicity, fault tolerance, distributed systems, concurrency control, persistency, nested transactions, correctness criteria
16	Yves Ledru	Using KIDS as a Tool Support for VDM.	ICSE	1996	DBLP BibTeX RDF	KIDS, REGROUP, VDM specifications, correctness preserving transformations, executable prototypes synthesis, proof of consistency, formal specification, REFINE, theorem proving, program verification, specification languages, tool support, theorem prover, VDM
16	Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider	Correct Architecture Refinement.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	refinement patterns, relative correctness, Software architecture, formal methods, composition, hierarchy, stepwise refinement
16	Jens Palsberg, Cun Xiao, Karl J. Lieberherr	Efficient Implementation of Adaptive Software.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	object traversal, correctness proof, adaptive software
16	Jens Palsberg	Closure Analysis in Constraint Form.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	constraints, flow analysis, correctness proof
16	James W. Gray III, John McLean	Using temporal logic to specify and verify cryptographic protocols.	CSFW	1995	DBLP DOI BibTeX RDF	specify, system penetrator, correctness requirements, verification, formal specification, formal methods, cryptography, protocols, formal verification, temporal logic, temporal logic, cryptographic protocols, verify
16	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
16	Sandrine Blazy, Philippe Facon	Formal Specification and Prototyping of a Program Specializer.	TAPSOFT	1995	DBLP DOI BibTeX RDF	software maintenance, rule induction, VDM, program specialization, structured operational semantics, proof of correctness, Centaur
16	José N. Amaral 0001, Joydeep Ghosh	Performance measurements of a concurrent production system architecture without global synchronization.	IPPS	1995	DBLP DOI BibTeX RDF	concurrent production system architecture, serializability criterion of correctness, production system machines, associative memory devices, parallel production firing, concurrent matching, overlap among matching, associative memory components, bus bandwidth, performance evaluation, performance evaluation, parallel architectures, knowledge based systems, performance measurements, parallel machine, serializability, content-addressable storage, cost effectiveness, global synchronization
16	K. Mani Chandy, Rajit Manohar, Berna L. Massingill, Daniel I. Meiron	Integrating task and data parallelism with the group communication archetype.	IPPS	1995	DBLP DOI BibTeX RDF	group communication archetype, parallel program archetype, reliable efficient parallel applications development, common computation structure, common communication structure, task/data parallelism integration, stepwise refinement methods, code libraries, sequential program transformation, target machine, parallel programming, correctness, libraries, granularity, data parallelism, software libraries, application generators, task parallelism
16	Gopal Chillariga, Balkrishna Ramkumar	Performance prediction for portable parallel execution on MIMD architectures.	IPPS	1995	DBLP DOI BibTeX RDF	portable parallel execution, parallel program development, simulation based approach, portable-parallel programs, Charm, message driven programming environment, program portability, MIMD parallel systems, single debugging environment, portable parallel software, parallel programming, parallel architectures, feedback, program verification, performance prediction, parallel systems, program debugging, software portability, program correctness, performance debugging, performance bottlenecks, MIMD architectures, program performance
16	Douglas Niehaus, John A. Stankovic, Krithi Ramamritham	A real-time system description language.	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time system description language, system design specification, automatic calculation, automatic analysis environment, design and analysis environment, specification changes, layered abstractions, concealed implementation details, timing correctness, robotic pick-and-place circuit board assembly, distributed real-time scheduling simulation, ease of modification, automatic loading, real-time systems, timing, specification languages, timing analysis, SDL, automatic linking, flexible manufacturing
16	B. Bayerdorffer	Broadcast Time Warp.	HICSS (2)	1995	DBLP DOI BibTeX RDF	Broadcast Time Warp, correctness constraint, simulation-time order., global virtual time, computational event scheduling, inefficiency, transitivity delay, incremental rollback, virtual-time synchronization protocol, synchronization semantics, scheduling, protocols, distributed algorithms, distributed computations, broadcasting, delays, synchronisation, distributed simulation, partial order, total order, causal order, time warp simulation
16	Samvel K. Shoukourian, Armen G. Kostanian, Valery A. Margarian, Ayman A. Ashour	An approach for system tests design and its application.	VTS	1995	DBLP DOI BibTeX RDF	system test design, control testing table, testing processor, correctness problem, polynomial complexity algorithm, software system design, microcode synthesis, CAD system testing, performance evaluation, performance evaluation, program testing, mathematical model, multicomputer systems, computer testing, multi-user systems
16	Ramayya Kumar, Thomas Kropf, Klaus Schneider 0001	Formal synthesis of circuits with a simple handshake protocol.	VLSI Design	1995	DBLP DOI BibTeX RDF	formal circuit synthesis, preproven building blocks, higher-order temporal operators, parametrized data signals, sequentially composed modules, parallel module composition, protocols, high level synthesis, logic design, operator semantics, template, formal logic, correctness proofs, synchronous circuits, handshake protocol, HOL theorem prover
16	Leo Motus, R. Kinksaar, Tonu Naks, M. Pall	Enhancing object modelling technique with timing analysis capabilities.	ICECCS	1995	DBLP DOI BibTeX RDF	enhanced object modelling technique, timing analysis capabilities, timing correctness, software implementation problems, specification problems, time-constraint elicitation, Q-model, noncontradiction analysis, time modelling requirements, performance, software engineering, real-time systems, real-time systems, data integrity, timing, scheduling algorithms, timing constraints, object-oriented methods, consistency checking, application domain, integrity checking, design problems
16	Ramesh Yerraballi, Ravi Mukkamala	Schedulability related issues in end-to-end systems.	ICECCS	1995	DBLP DOI BibTeX RDF	end-to-end systems, scheduling, real-time systems, scheduling algorithms, processor scheduling, schedulability analysis, proof of correctness, uniprocessor systems
16	Pam Binns, Steve Vestal	Architecture specifications for complex real-time dependable systems.	ICECCS	1995	DBLP DOI BibTeX RDF	complex real-time dependable systems, automated analytic modeling, automated system implementation, real-time systems, formal specification, program verification, specification languages, specification languages, formal models, program correctness, architecture specifications
16	Gruia-Catalin Roman, C. Donald Wilcox	Architecture-Directed Refinement.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	architectural constraints, program derivation process, architecture-directed refinement, software engineering, formal specification, parallel programming, formal methods, specification, parallel architectures, correctness, design process, concurrent systems, program refinements
16	Ajay D. Kshemkalyani, Mukesh Singhal	Efficient Detection and Resolution of Generalized Distributed Deadlocks.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	generalized distributed deadlock resolution, one-phase algorithm, concurrent sweeps, generalized distributed deadlock detection, outward sweep, distributed wait-for-graph, inward sweep, distributed snapshot, algorithm correctness, worst-case message complexity, leaf nodes, distributed system, computational complexity, concurrency control, directed graphs, directed graph, time complexity, messages, operating systems (computers), graph reduction
16	Jianan Li, Ichiro Suzuki, Masafumi Yamashita	A New Structural Induction Theorem for Rings of Temporal Petri Nets.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	structural induction theorem, temporal Petri nets, identical components, temporal logic formula, similar behavior, demand-driven token circulation, Petri nets, formal verification, formal verification, temporal logic, correctness, temporal reasoning, rings
16	Nirmal R. Saxena, Edward J. McCluskey	Linear Complexity Assertions for Sorting.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	linear complexity assertions, sorting programs, programs correctness checking, order assertion, permutation assertion, sorted data, descending order, ascending order, output data, order-sum assertion, partition theory, watchdog checker, program verification, sorting, error detection, programming theory, program debugging, execution time, program diagnostics, error checking, program execution, partition functions, input data
16	David Lorge Parnas, Jan Madey, Michal Iglewski	Precise Documentation of Well-Structured Programs.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	precise documentation, well-structured programs, program fragments, reference document, functional approach, program documentation, tabular form, software engineering, formal specification, specification, software maintenance, software maintenance, program verification, program verification, displays, software inspection, index, structured programming, lexicon, system documentation, program correctness
16	Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli	A Formal Framework for ASTRAL Intralevel Proof Obligations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL
16	Richard C. Linger	Cleanroom Process Model.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	cleanroom process model, team-oriented process, code increments, statistical quality certification, software quality, program verification, quality control, statistical quality control, correctness verification, cleanroom software engineering
16	Kang G. Shin, Chih-Che Chou	A Simple Distributed Loop-Free Routing Strategy for Computer Communication Networks.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	loadchanges, distributed adaptive routing, distributed loop-free routing, network delay tables, routingmessages, fault tolerant computing, computer networks, computer networks, correctness, network routing, fault-tolerant routing, ARPANET, loop-free, routing strategy, component failures, computer communication networks
16	Tracy Camp, Phil Kearns, Mohan Ahuja	Proof Rules for Flush Channels.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	flush channels, asynchronous communication constructs, datagrams, receipt-order restrictions, message-by-message basis, Hoare-style partial correctness verification methodology, concurrency, distributed processing, program verification, distributed program, virtual circuits
16	Gruia-Catalin Roman, Rose F. Gamble, William E. Ball	Formal Derivation of Rule-Based Programs.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	efficient concurrent rule-based programs, initial rule-based program, program derivation strategy, UNITY programs, correct rule-based program, static knowledge base, formal specification, parallel programming, logic programming, knowledge based systems, computational model, Swarm, OPS5, specification refinement, correctness criteria, program refinement
16	Ralf Hartmut Güting, Markus Schneider 0001	Realms: A Foundation for Spatial Data Types in Database Systems.	SSD	1993	DBLP DOI BibTeX RDF	Spatial data types, realm, finite resolution, numerical robustness, topological correctness, geometric consistency, algebra
16	Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen	An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	colored stochastic Petri nets, Lamport concurrentalgorithm, parametric formal proof of liveness, Markovian analysis, distributedprocessing, performance evaluation, distributed systems, Petri nets, concurrency control, Markov processes, concurrent program, correctness, stochastic processes, performanceevaluation, mutual exclusion problem
16	Brendan P. Mahony, Ian J. Hayes	A Case-Study in Timed Refinement: A Mine Pump.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	top-level refinement, simple mine pump control system, time-based systems, topologically continuous functions, discrete properties, basic building block, specification statement, refinement laws, computerized monitoring, pumps, formal specification, parallel processes, formal method, pipelined, theorem proving, mining, refinement calculus, design decisions, sequential programs, timed systems, proof of correctness
16	Richard Gerber 0001, Insup Lee 0001	A Layered Approach to Automating the Verification of Real-Time Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	CSR Application Language, high-level language constructs, periodic processes, configuration schema, CCSR process algebra, resource-based computation model, prioritized transition system, reachability analyzer, CCSR semantics, exception state, multisensor robot example, calculus of communicating systems, real-time systems, real-time systems, verification, formal specification, formal verification, specification, exception handling, exception handling, interrupts, correctness, deadlines, high level languages, timeouts, communication links, system resources, layered approach
16	Ralph-Johan Back, Joakim von Wright	Predicate Transformers and Higher Order Logic.	REX Workshop	1992	DBLP DOI BibTeX RDF	nondeterminism, higher order logic, state spaces, weakest preconditions, procedures, Stepwise refinement, predicate transformers, HOL, semantics of programming languages, total correctness
16	H. Conrad Cunningham, Gruia-Catalin Roman	A UNITY-Style Programming Logic for Shared Dataspace Programs.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	UNITY-style programming logic, shared dataspace programs, program verification, Swarm, proof system, program correctness
16	Edward Omiecinski	A Parallel Algorithm for Relational Database Normalization.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	relational database normalization, database normalization, relation schemes, third normal form algorithm, serial algorithms, minimal covers, parallel algorithm, parallel algorithms, relational databases, correctness, functional dependencies
16	Menkae Jeng, Howard Jay Siegel	A Distributed Management Scheme for Partitionable Parallel Computers.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	distributed splitting process, speed-up oriented, resource fragments, distributed combining process, throughput oriented, distributed management scheme, partitionable parallel computers, multistage cube, extra-stage cube networks, computational complexity, parallel computation, interconnection networks, parallel architectures, hypercube, multiprocessor interconnection networks, correctness, task allocation, omega, PASM, dynamic partitioning
16	Louise E. Moser	Data Dependency Graphs for Ada Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	composition rules, primitive program statements, data structures, Ada, tracking, programming, information flow, exception handling, correctness, recursion, tasking, iteration, data dependency graphs, Ada programs, program development environment
16	David Guaspari, Carla Marceau, Wolfgang Polak	Formal Verification of Ada Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	Penelope verification editor, formal basis, interactive development, logical soundness, interface languages, software engineering, Ada, program verification, correctness proof, prototype system, predicate transformers, Ada programs
16	Dipankar Sarkar 0001, S. C. De Sarkar	A Theorem Prover for Verifying Iterative Programs Over Integers.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	rule-based theorem prover, iterative programs, overall proof construction strategy, array-sorting program, expert systems, theorem proving, program verification, performance measures, iterative methods, correctness proofs
16	Bo Ingvar Sandén	Correction to "The Case for Electric Design of Real-Time Software''.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	communication deadlocks detection, distributed scheme, distributed processing, correctness proof
16	William R. Bevier	Kit: A Study in Operating System Verification.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	multitasking operating system kernel, machine language, uniprocessor von Neumann computer, conceptually distributed communicating processes, asynchronous devices, security-related results, supervisor mode, Boyer-Moore logic, Boyer-Moore theorem prover, verification, interface, message passing, theorem proving, program verification, operating systems (computers), multiprogramming, correctness proof, process scheduling, error handling, Kit
16	Liu Lingzhong	Comments on "A Distributed Scheme for Detecting Communication Deadlocks''.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	communication deadlocks detection, distributed scheme, distributed processing, correctness proof
16	Bharat Jayaraman	Semantics of EqL.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Correctness theorems, equational programming, equation solving, object refinement, logic programming, functional programming, denotational semantics, reduction semantics
16	Tony T. Lee, Ming-Yee Lai	A Relational Algebraic Approach to Protocol Verification.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	logical correctness, transition table, global-state transitions, protocols, relational databases, relational databases, finite-state machine, program verification, deadlocks, database theory, finite automata, protocol verification, INGRES
16	Carlos Urias Munoz	An Approach to Software Product Testing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	software product testing, self-checking test cases, black box test cases, random test cases, correctness measurements, defect circumvention, sampling, program testing, program testing, automatic test case generation, exhaustive testing
16	Farokh B. Bastani, I-Ling Yen, Ing-Ray Chen	A Class of Inherently Fault Tolerant Distributed Programs.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	fault tolerant distributed programs, decentralized control concepts, robot, fault tolerant computing, distributed processing, program verification, correctness, programming theory, industrial robots, robot programming, self-stabilizing systems, industrial process-control
16	Alexander Aiken, Alexandru Nicolau	A Development Environment for Horizontal Microcode.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	horizontal microcode, percolation scheduling, interactive profiling system, microcode compaction process, correctness preservation, semantics-preserving transformations, scheduling, user interfaces, architecture, parallel programming, synchronization, programming environments, synchronisation, graphical interface, development environment, microprogramming, parallelism extraction
16	Deepinder P. Sidhu, Carole S. Crall	Executable Logic Specifications for Protocol Service Interfaces.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	executable logic specifications, protocol service interfaces, formal modeling technique, logic-programming-based language, protocol layers, protocol standards, ISO/OSI, protocols, Prolog, PROLOG, specification languages, correctness, formal language, formal languages, transport layer
16	Abha Moitra, S. Sitharama Iyengar, Farokh B. Bastani, I-Ling Yen	Multilevel Data Structures: Models and Performance.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	multilevel data structure, data structures, concurrency, software reliability, program verification, program verification, programming theory, correctness proof, data organization, maintenance processes
16	Hector Garcia-Molina, Boris Kogan	Achieving High Availability in Distributed Databases.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	communication failures, controlling entity, correctness criterion, transaction execution, fragmentwise serializability, agent, fault tolerant computing, fault tolerant computing, distributed databases, distributed databases, software reliability, program verification, database theory, network partitions, data availability
16	Philip L. Lehman, S. Bing Yao	Efficient Locking for Concurrent Operations on B-Trees.	ACM Trans. Database Syst.	1981	DBLP DOI BibTeX RDF	concurrenct algorithms, consistencey, index organizations, multiway search trees, database, data structures, concurrency controls, correctness, B-tree, locking protocols
16	P. A. Subrahmanyam	Nondeterminism in Abstract Data Types.	ICALP	1981	DBLP DOI BibTeX RDF	nondeterministic operations, extraction equivalence, observable behavior, implementations, correctness, abstract data types, nondeterminism
16	Ronald Fagin	On an Authorization Mechanism.	ACM Trans. Database Syst.	1978	DBLP DOI BibTeX RDF	security, privacy, access control, database, authorization, protection, revocation, proof of correctness
16	Abraham Silberschatz	Serializability in multi-level monitor environments.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Concurrent operation, Serial operation, Monitors, Operating systems, Correctness, Classes, Asynchronous processes
16		Statistical Correctness.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
16		Summarization Correctness.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
16		Correctness Criterion for Concurrent Executions.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
16	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll 0001, Marco Roveri	The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.	SAFECOMP	2009	DBLP DOI BibTeX RDF
16	Azzedine Boukerche, Kaouther Abrougui	A Service Discovery protocol for vehicular ad hoc networks: A proof of correctness.	IPDPS	2009	DBLP DOI BibTeX RDF
16	Nick Benton, Chung-Kil Hur	Biorthogonality, step-indexing and compiler correctness.	ICFP	2009	DBLP DOI BibTeX RDF	biorthogonality, step-indexing, denotational semantics, proof assistants, compiler verification
16	Krishnan Kailas, Viresh Paruthi, Brian Monwai	Formal verification of correctness and performance of random priority-based arbiters.	FMCAD	2009	DBLP DOI BibTeX RDF
16	Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig	Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation.	CALCO	2009	DBLP DOI BibTeX RDF
16	Christian Kästner, Sven Apel, Salvador Trujillo, Martin Kuhlemann, Don S. Batory	Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach.	TOOLS (47)	2009	DBLP DOI BibTeX RDF
16	Yuyue Du, Changjun Jiang, MengChu Zhou	A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems.	IEEE Trans. Syst. Man Cybern. Part C	2008	DBLP DOI BibTeX RDF
16	Mohsen Bayati, Devavrat Shah, Mayank Sharma	Max-Product for Maximum Weight Matching: Convergence, Correctness, and LP Duality.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
16	Jewgenij Botaschanjan, Manfred Broy, Alexander Gruler, Alexander Harhurin, Steffen Knapp, Leonid Kof, Wolfgang J. Paul, Maria Spichkova	On the correctness of upper layers of automotive systems.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Time-triggered systems, Formal verification, Model-based development, Automotive software
16	Scott Uk-Jin Lee, Jing Sun 0002, Gillian Dobbie, Lindsay Groves, Yuan-Fang Li	Correctness Criteria for Normalization of Semistructured Data.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	ORA-SS, Formal Specification, Normalization, Z, Semistructured Data
16	Oliver Wienand, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Gert-Martin Greuel	An Algebraic Approach for Proving Data Correctness in Arithmetic Data Paths.	CAV	2008	DBLP DOI BibTeX RDF
16	Uwe Naumann, Laurent Hascoët, Chris Hill, Paul D. Hovland, Jan Riehme, Jean Utke	A Framework for Proving Correctness of Adjoint Message-Passing Programs.	PVM/MPI	2008	DBLP DOI BibTeX RDF
16	Enrico Vicario	Correctness Verification and Quantitative Evaluation of Timed Systems Based on Stochastic State Classes.	QEST	2008	DBLP DOI BibTeX RDF
16	Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve Emeott, Mahesh V. Tripunitara	A Correctness Proof of a Mesh Security Architecture.	CSF	2008	DBLP DOI BibTeX RDF	Protocol Composition Logic (PCL), Mesh Security Architecture (MSA), peer-to-peer, 802.11s
16	Jens Groth, Yuval Ishai	Sub-linear Zero-Knowledge Argument for Correctness of a Shuffle.	EUROCRYPT	2008	DBLP DOI BibTeX RDF	zero-knowledge argument, sub-linear communication, homomorphic encryption, Shuffle, mix-net
16	Manuel Montenegro, Ricardo Pena, Clara Segura	A type system for safe memory management and its proof of correctness.	PPDP	2008	DBLP DOI BibTeX RDF	safe memory deallocation, type systems
16	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Mechanizing a Correctness Proof for a Lock-Free Concurrent Stack.	FMOODS	2008	DBLP DOI BibTeX RDF	non-atomic refinement, KIV, refinement, theorem proving, Z, linearizability, concurrent access
16	Vincenzo Ciancia, Gian-Luigi Ferrari 0002, Roberto Guanciale, Daniele Strollo	Checking Correctness of Transactional Behaviors.	FORTE	2008	DBLP DOI BibTeX RDF	Service Oriented Architectures, Coordination, Event Notification, Observational Equivalence
16	Konstantin Verchinine, Alexander V. Lyaletski, Andrey Paskevich, Anatoly V. Anisimov	On Correctness of Mathematical Texts from a Logical and Practical Point of View.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
16	Mitchell Wand	On the correctness of the Krivine machine.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Krivine machine, Weak head reduction, Lambda calculus
16	Venanzio Capretta, Bernard Stepien, Amy P. Felty, Stan Matwin	Formal correctness of conflict detection for firewalls.	FMSE	2007	DBLP DOI BibTeX RDF	firewall, coq
16	Róbert Lovas, Péter Kacsuk	Correctness Debugging of Message Passing Programs Using Model Verification Techniques.	PVM/MPI	2007	DBLP DOI BibTeX RDF
16	Michael O. Rabin, Rocco A. Servedio, Christopher Thorpe	Highly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications.	LICS	2007	DBLP DOI BibTeX RDF
16	Burak Emir, Qin Ma 0002, Martin Odersky	Translation Correctness for First-Order Object-Oriented Pattern Matching.	APLAS	2007	DBLP DOI BibTeX RDF
16	Gábor Erdélyi, Lane A. Hemaspaandra, Jörg Rothe, Holger Spakowski	On Approximating Optimal Weighted Lobbying, and Frequency of Correctness Versus Average-Case Polynomial Time.	FCT	2007	DBLP DOI BibTeX RDF
16	Anirban Majumdar 0001, Stephen Drape, Clark D. Thomborson	Slicing obfuscations: design, correctness, and evaluation.	Digital Rights Management Workshop	2007	DBLP DOI BibTeX RDF	program transformation, digital rights management, software security, obfuscation, static slicing
16	Ariel Cohen 0002, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck	Verifying Correctness of Transactional Memories.	FMCAD	2007	DBLP DOI BibTeX RDF	HTM, STM, TLC, model checking, Verification, transactional memory, TLA+
16	Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, Karsten Wolf	From Public Views to Private Views - Correctness-by-Design for Services.	WS-FM	2007	DBLP DOI BibTeX RDF
16	Rainer Keller, Michael M. Resch	Testing the Correctness of MPI Implementations.	ISPDC	2006	DBLP DOI BibTeX RDF
16	Bettina Krammer, Michael M. Resch	Correctness Checking of MPI One-Sided Communication Using Marmot.	PVM/MPI	2006	DBLP DOI BibTeX RDF	RMA, MPI, Analysis, One-sided communication, Parallel Programming Tools