Search results for "correctness"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Fernando Ferri, Elaheh Pourabbas, Maurizio Rafanelli	The syntactic and semantic correctness of pictorial configurations to query geographic databases by PQL.	SAC	2002	DBLP DOI BibTeX RDF	pictorial query languages, syntactic correctness, geographic data, semantic correctness
4	Henri B. Weinberg, Nancy A. Lynch	Correctness of vehicle control systems-a case study.	RTSS	1996	DBLP DOI BibTeX RDF	vehicle control systems correctness, vehicle deceleration manoeuvres, automated transportation systems, hybrid I/O automata, hybrid input output automata, invariant assertions, simulation mappings, differential calculus, real time systems, case study, vehicles, correctness verification
3	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
3	Wei Song, Xiaoxing Ma, S. C. Cheung, Hao Hu, Jian Lu	Preserving Data Flow Correctness in Process Adaptation.	IEEE SCC	2010	DBLP DOI BibTeX RDF	Data Flow Correctness, BPEL, Correctness-by-Construction, Process Adaptation
3	Jinpeng Huai, Ting Deng, Xianxian Li, Zongxia Du, Huipeng Guo	AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee.	Science in China Series F: Information Sciences	2009	DBLP DOI BibTeX RDF	correctness constraints, L* algorithm, synthesis, composite service, business protocol
3	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
3	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
3	Lei Pan, Lynn Margaret Batten	Robust Correctness Testing for Digital Forensic Tools.	e-Forensics	2009	DBLP DOI BibTeX RDF	correctness testing, data carving tools, digital forensics
3	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
3	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
3	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
3	Rachid Guerraoui, Michal Kapalka	On the correctness of transactional memory.	PPOPP	2008	DBLP DOI BibTeX RDF	model, lower bound, transactional memory, correctness
3	Sandip Ray, Warren A. Hunt Jr., John Matthews, J. Strother Moore	A Mechanical Analysis of Program Verification Strategies.	J. Autom. Reasoning	2008	DBLP DOI BibTeX RDF	Inductive assertions, Partial correctness, Theorem proving, Invariants, Total correctness
3	Jayasri Banerjee, Anup Kumar Bandyopadhyay, Ajit Kumar Mandal	On the correctness issues in two-process mutual exclusion algorithms.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	parallel processing, weakest precondition, program specification, program correctness
3	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
3	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
3	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
3	Regivan H. Nunes Santiago, Benjamín René Callejas Bedregal, Benedito Melo Acióly	Formal Aspects of Correctness and Optimality of Interval Computations.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Interval representations, Optimality, Correctness, Continuity, Interval analysis
3	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
3	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
3	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
3	Linh Thao Ly, Stefanie Rinderle, Peter Dadam	Semantic Correctness in Adaptive Process Management Systems.	Business Process Management	2006	DBLP DOI BibTeX RDF	Semantic Process Verification, Adaptive Process Management Systems, Semantic Constraints, Semantic Correctness
3	Kunal Agrawal, Charles E. Leiserson, Jim Sukha	Memory models for open-nested transactions.	Memory System Performance and Correctness	2006	DBLP DOI BibTeX RDF
3	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
3	Lunjin Lu	Use of correctness assertions in declarative diagnosis.	SAC	2005	DBLP DOI BibTeX RDF	correctness assertions, declarative diagnosis, logic programs
3	Roel 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
3	Kamel Adi, Liviu Pene	Secrecy Correctness for Security Protocols.	DFMA	2005	DBLP DOI BibTeX RDF	Protocol Correctness, Security Protocols, Formal Analysis, Secrecy
3	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
3	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
3	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
3	Sandeep S. Kulkarni, Karun N. Biyani	Correctness of Component-Based Adaptation.	CBSE	2004	DBLP DOI BibTeX RDF	Verification, Correctness, Dynamic Adaptation
3	Mark Aagaard, Byron Cook, Nancy A. Day, Robert B. Jones	A framework for superscalar microprocessor correctness statements.	STTT	2003	DBLP DOI BibTeX RDF	Microprocessor correctness, Commuting diagrams, Formal verification, Pipelines
3	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
3	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
3	Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu	Semantic Conditions for Correctness at Different Isolation Levels.	ICDE	2000	DBLP DOI BibTeX RDF	Serializability, Semantic Correctness, Isolation Levels
3	J. Paul Gibson, Thomas F. Dowling, Brian A. Malloy	The Application of Correctness Preserving Transformations to Software Maintenance. (PDF / PS)	ICSM	2000	DBLP DOI BibTeX RDF	correctness preserving transformation, formal methods, Reverse engineering, public key cryptography, code optimization
3	Corrie Huijs	Design Correctness of Digital Systems.	EUROMICRO	1998	DBLP DOI BibTeX RDF	model refinement and heterogeneity, high-level synthesis, correctness, transformational design
3	David Sands	Total Correctness by Local Improvement in the Transformation of Functional Programs.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	operational equivalence, unfold-fold, program transformation, correctness, improvement
3	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
3	Chih Lai, H. Rebecca Callison	A framework for simulation of concurrency control policy in real-time systems. (PDF / PS)	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
3	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
3	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
3	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
3	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
3	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
3	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
3	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
2	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
2	Rakesh Kumar	Computing with stochastic processors: revisiting the correctness contract between software and hardware.	ISLPED	2010	DBLP DOI BibTeX RDF	stochastic processor, reliability, error resilience, error tolerance
2	Thomas A. Henzinger	From Boolean to quantitative notions of correctness.	POPL	2010	DBLP DOI BibTeX RDF	quantitative specification, quantitative synthesis, quantitative analysis
2	Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.)	Concurrency, Compositionality, and Correctness, Essays in Honor of Willem-Paul de Roever	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech	Automated Proofs for Asymmetric Encryption.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	E. Allen Emerson	Meanings of Model Checking.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Dines Bjørner, Asger Eir	Compositionality: Ontology and Mereology of Domains.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Manfred Broy	Synchronous Message Passing: On the Relation between Bisimulation and Refusal Equivalence.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Shivali Agarwal, R. K. Shyamasundar	A Proof System for a PGAS Language.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Ernst-Rüdiger Olderog, Andreas Podelski	Explicit Fair Scheduling for Dynamic Control.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Frank S. de Boer	Reasoning about Recursive Processes in Shared-Variable Concurrency.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Peter van Emde Boas	Playing Savitch and Cooking Games.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Prasad Joshi, Peter A. Beerel, Marly Roncken, Ivan Sutherland	Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Hans Langmaack	On Trojan Horses of Thompson-Goerigk-Type, Their Generation, Intrusion, Detection and Prevention.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Jan Peleska	Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Cornelis Huizing, Ron Koymans, Ruurd Kuiper	A Small Step for Mankind.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Proving the Refuted: Symbolic Model Checkers as Proof Generators.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Kai Engelhardt, Ralf Huuck	Smaller Abstractions for FOR ALL CTL* without Next.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Leslie Lamport	Computer Science and State Machines.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Dennis Dams, Ulrich Hannemann, Martin Steffen	A Bibliography of Willem-Paul de Roever.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	David Harel, Amir Kantor, Shahar Maoz	On the Power of Play-Out for Scenario-Based Programs.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Ansgar Fehnker, Ralf Huuck, Sean Seefried	Counterexample Guided Path Reduction for Static Program Analysis.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Jozef Hooman, Marcel Verhoef	Formal Semantics of a VDM Extension for Distributed Embedded Systems.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Dave Clarke, Einar Broch Johnsen, Olaf Owe	Concurrent Objects à la Carte.	Concurrency, Compositionality, and Correctness	2010	DBLP DOI BibTeX RDF
2	Zachary Tatlock, Sorin Lerner	Bringing extensibility to verified compilers.	PLDI	2010	DBLP DOI BibTeX RDF	compiler optimization, correctness, extensibility
2	Rachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh	Transactions in the jungle.	SPAA	2010	DBLP DOI BibTeX RDF	transactional memory, correctness, memory models
2	José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, José Ramón Garitagoitia, Francesc D. Muñoz-Escoí	Correctness proof of a database replication protocol under the perspective of the I/O automaton model.	Acta Inf.	2009	DBLP DOI BibTeX RDF
2		Summarization Correctness.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2		Statistical Correctness.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2		Correctness Criterion for Concurrent Executions.	Encyclopedia of Database Systems	2009	DBLP DOI BibTeX RDF
2	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	2009	DBLP DOI BibTeX RDF
2	Krishnan Kailas, Viresh Paruthi, Brian Monwai	Formal verification of correctness and performance of random priority-based arbiters.	FMCAD	2009	DBLP DOI BibTeX RDF
2	Cristian S. Calude, Christine Müller	Formal Proof: Reconciling Correctness and Understanding.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
2	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
2	Azzedine Boukerche, Kaouther Abrougui	A Service Discovery protocol for vehicular ad hoc networks: A proof of correctness.	IPDPS	2009	DBLP DOI BibTeX RDF
2	Oliver Sharma, Jonathan Lewis, Alice Miller, Alan Dearle, Dharini Balasubramaniam, Ronald Morrison, Joe Sventek	Towards Verifying Correctness of Wireless Sensor Network Applications Using Insense and Spin.	SPIN	2009	DBLP DOI BibTeX RDF	Wireless Sensor Networks, Distributed systems, Concurrency, Formal Modelling
2	Kim Solin	A While Program Normal Form Theorem in Total Correctness.	RelMiCS	2009	DBLP DOI BibTeX RDF
2	Walter Guttmann	General Correctness Algebra.	RelMiCS	2009	DBLP DOI BibTeX RDF
2	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri	The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.	SAFECOMP	2009	DBLP DOI BibTeX RDF
2	Hartmut Ehrig, Claudia Ermel, Frank Hermann, 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
2	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
2	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
2	Xinming Wang, Shing-Chi Cheung, Wing Kwong Chan, Zhenyu Zhang	Taming coincidental correctness: Coverage refinement with context patterns to improve fault localization.	ICSE	2009	DBLP DOI BibTeX RDF
2	David F. Bacon, Yiling Chen, David C. Parkes, Malvika Rao	A market-based approach to software evolution.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	software correctness, mechanism design, markets
2	Sudipta Kundu, Zachary Tatlock, Sorin Lerner	Proving optimizations correct using parameterized program equivalence.	PLDI	2009	DBLP DOI BibTeX RDF	compiler optimization, correctness, translation validation
2	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
2	Martha E. Crosby, Curtis S. Ikehara, Wendy S. Ark	Identifying the Nature of Knowledge Using the Pressures Applied to a Computer Mouse.	HCI	2009	DBLP DOI BibTeX RDF	pressure sensitive computer mouse, confidence of correctness, knowledge
2	Artem Polyvyanyy, Luciano García-Bañuelos, Mathias Weske	Unveiling Hidden Unstructured Regions in Process Models.	OTM Conferences	2009	DBLP DOI BibTeX RDF	Process structure tree, process model analysis, process model correctness, process model transformation
2	Peter Dadam, Manfred Reichert	The ADEPT project: a decade of research and development for robust and flexible process support.	Computer Science - R&D	2009	DBLP DOI BibTeX RDF	Process Flexibility, Robustness, Workflow Management, Business Process Management, Correctness by Construction, Process Change
2	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
2	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 Asp. Comput.	2008	DBLP DOI BibTeX RDF	Time-triggered systems, Formal verification, Model-based development, Automotive software
2	Yuyue Du, Changjun Jiang, MengChu Zhou	A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part C	2008	DBLP DOI BibTeX RDF
2	Islam Elgedawy, Zahir Tari, James A. Thom	Correctness-aware high-level functional matching approaches for semantic Web services.	TWEB	2008	DBLP DOI BibTeX RDF	High-level functional matching, semantic Web services, service aggregation