Search results for "assertional reasoning"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	A. Udaya Shankar	An Introduction to Assertional Reasoning for Concurrent Systems.	ACM Comput. Surv.	1993	DBLP DOI BibTeX RDF	generation of preconditions, leads-to, progress properties, invariants, Hoare logic, weakest preconditions, safety properties, state transition systems, assertional reasoning
2	Beverly A. Sanders, KyungHee Kim	Assertional reasoning about data races in relaxed memory models.	PPOPP	2008	DBLP DOI BibTeX RDF	assertions, memory model, data race, sequential consistency
2	Gruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun	Assertional Reasoning about Pairwise Transient Interactions in Mobile Computing.	ICSE	1996	DBLP BibTeX RDF	UNITY proof logic, action synchronization, continuous position changes, decoupled computing style, independent computing units, location-dependent behavior, location-dependent communication patterns, pairwise transient interactions, transient program interactions, variable sharing, mobile computing, distributed computing, distributed processing, dependability, modularity, computer networks, synchronisation, network operating systems, disconnections, mobile radio, assertional reasoning
2	Pawel Paczkowski	Ignoring Nonessential Interleavings in Assertional Reasoning on Concurrent Programs.	MFCS	1993	DBLP DOI BibTeX RDF
1	Tuvshintur Tserendorj	Approximate assertional reasoning over expressive ontologies.		2010	RDF
1	Tom Ridge	Verifying distributed systems: the operational approach.	POPL	2009	DBLP DOI BibTeX RDF	ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning
1	Uwe Keller, Stijn Heymans	Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm.	LFCS	2009	DBLP DOI BibTeX RDF
1	Marian Babik, Ladislav Hluchý	On Automated Testing of Description Logic Reasoners.	ICDCIT	2008	DBLP DOI BibTeX RDF
1	Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock	The verified software repository: a step towards the verifying compiler.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Grand challenges in computer science, Dependable systems evolution, Software engineering, Tools, Program verification, Verified software repository, Verifying compiler, Assertional reasoning
1	María del Mar Roldán García, José Francisco Aldana Montes	A Survey on Disk Oriented Querying and Reasoning on the Semantic Web.	ICDE Workshops	2006	DBLP DOI BibTeX RDF
1	Gregory Chockler, Nancy A. Lynch, Sayan Mitra, Joshua A. Tauber	Proving Atomicity: An Assertional Approach.	DISC	2005	DBLP DOI BibTeX RDF
1	Sergio Tessaris, Ian Horrocks	Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics.	LPAR	2002	DBLP DOI BibTeX RDF
1	Bengt Jonsson	Compositional Specification and Verification of Distributed Systems.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	specification, message passing, compositionality, stepwise refinement, modular specification, assertional reasoning
1	Ernst-Rüdiger Olderog, Stephan Rössig	A Case Study in Transformational Design of Concurrent Systems.	TAPSOFT	1993	DBLP DOI BibTeX RDF
1	A. Udaya Shankar, Simon S. Lam	A Stepwise Refinement Heuristic for Protocol Construction.	ACM Trans. Program. Lang. Syst.	1992	DBLP DOI BibTeX RDF	conditional refinement, cyclic sequence numbers, message lifetimes, interfaces, stepwise refinement, sliding window protocols, assertional reasoning
1	Jimmi S. Pettersson	Comments on ``Always-True is not Invariant'': Assertional Reasoning About Invariance.	Inf. Process. Lett.	1991	DBLP DOI BibTeX RDF
1	Nils Klarlund	Liminf Progress Measures.	MFPS	1991	DBLP DOI BibTeX RDF
1	Helmuth Partsch, Frank A. Stomp	A Fast Pattern Matching Algorithm Derived by Transformational and Assertional Reasoning.	Formal Asp. Comput.	1990	DBLP DOI BibTeX RDF
1	Zohar Manna, Amir Pnueli	Completing the Temporal Picture.	ICALP	1989	DBLP DOI BibTeX RDF
1	Leslie Lamport	Reasoning About Nonatomic Operations.	POPL	1983	DBLP DOI BibTeX RDF