Geometry.Net - Science: Temporal Logic


Home - Science - Temporal Logic

e99.com Bookstore

Images

Newsgroups

61-66 of 66 Back | 1 | 2 | 3 | 4

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Temporal Logic: more books (100)

Automatic and hierarchical verification of asynchronous circuits using temporal logic by B Mishra, 1983
Temporal-logic theorem proving (Report / Stanford University. Dept. of Computer Science) by MartiÌn Abadi, 1987
Decision procedures and expressiveness in the temporal logic of branching time (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by E. Allen Emerson, 1985
Characterizing Kripke structures in temporal logic (Research paper. Carnegie-Mellon University. Computer Science Department) by M. C Browne, 1987
Compiling temporal logic specifications into observers =: Compiler des speÌcifications exprimeÌes en logique temporelle vers des observateurs (Rapports ... Recherche en Informatique et en Automatique) by Omar Drissi-Kaitouni, 1988
Design verification of sequential machines based on a model checking algorithm of e-free regular temporal logic (Research paper. Carnegie Mellon University. Computer Science Dept) by Hiromi Hiraishi, 1988
Problems concerning fairness and temporal logic for conflict-free petri nets (Technical report. University of Texas at Austin. Dept. of Computer Sciences) by Rodney R Howell, 1987
On the eventuality operator in temporal logic (Technical report. Yale University. Dept. of Computer Science) by Aravinda Prasad Sistla, 1987
Gorski: Temporal Logic
Avoiding the state explosion problem in temporal logic model checking algorithms (Research paper. Carnegie Mellon University. Computer Science Dept) by E. M Clarke, 1987
Temporal logics, automata, and classical theories for defining real-time languages (Report) by T. A Henzinger, 1999
Temporal logics for abstract semantics (Technical report series. University of Manchester. Dept. of Computer Science) by Michael Fisher, 1987
Temporal logic for proof-carrying code ([Research paper] / Carnegie Mellon University. School of Computer Science) by Andrew Bernard, 2002
Synthesis of hardware elements from propositional temporal interval logic (Technical report. Pennsylvania State University. Dept. of Computer Science) by A. A Aaby, 1988

lists with details

Computing Reviews, The Leading Online Review Service For Computing Literature.
Classical model checking methods for temporal logic formulas suffer from the problem of Mexitl multimedia in executable interval temporal logic
http://www.ratings.info/browse/browse_topics4.cfm?ccs_id=3023
CIDEC Library: Gabbay, Hodkinson, Reynolds * Temporal Logic: Mathematical Founda
This long awaited book gives a thorough account of the mathematical foundations of temporal logic, one of the most important logic areas in computer science
http://cs.ioc.ee/yik/lib/1/Gabbay1.html

Extractions: Department of Computing, Imperial College of Science, Technology and Medicine, London Series: Oxford logic guides , Vol. 28 - Oxford Science Publications Publisher : Oxford University Press - Clarendon Press , Oxford Bibliographic : DESCRIPTION : This long awaited book gives a thorough account of the mathematical foundations of temporal logic, one of the most important logic areas in computer science. It gives a solid introduction to semantical and axiomatic approaches to temporal logic, and covers the central topics of predicate temporal logic, metalanguages, general theories of axiomatization, many dimensional systems, propositional quantifiers, expressive power, Henkin dimension, temporalization of other logics, and decidability results. Much of the research presented here is at the cutting edge, both in new results and in the unifying methodology. CONTENTS : The handling of time: introduction and survey Semantical presentation of temporal connectives Axiomatic presentation of propositional temporal connectives Predicate temporal logics Temporal logics presented in the predicate calculus: language-metalanguage
CiteULike: Tag Temporal-logic [39 Articles]
posted to chuspace computability-logic dynamical-system dynamics interactivity neural-symbolic temporal temporal-concept-analysis temporal-logic by
http://www.citeulike.org/tag/temporal-logic

Extractions: Register Log in FAQ Recent papers classified by the tag temporal-logic. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers (19 July 2002) by Leslie Lamport posted to formal-methods temporal-logic by tautologico on 2005-09-06 20:45:59 as along with 1 person ljcamargos Extending JML Specifications with Temporal Logic Vol. 2422/2002 (September 2002), 334. by K Trentelman , M Huisman posted to temporal-logic softnet jml java ... design-by-contract by sjgaller on 2007-06-05 07:25:21 as along with 1 person and 2 groups pdagarwal Context-driven-testers Desgin-by-Contract ... JAG : J ML A nnotation G eneration for Verifying Temporal Properties Fundamental Approaches to Software Engineering (2006), pp. 373-376. by Alain Giorgetti , Julien Groslambert posted to temporal-logic specification-generation specification softnet ... java by sjgaller on 2007-09-11 07:17:02 as along with 2 groups Context-driven-testers Desgin-by-Contract Specification-based Testing of Reactive Software: Tools and Experiments (Experience Report) (1997), pp. 525-535. by Lalita J Jagadeesan , Adam A Porter , Carlos Puchol , Christopher J Ramming , Lawrence G Votta posted to finite-state-machine test-case-generation temporal-logic softnet ... formalization by sjgaller on 2007-06-06 13:15:50 as along with 2 groups Context-driven-testers Desgin-by-Contract JML-based verification of liveness properties on a class in isolation (2006), pp. 41-48.
Temporal Prepositions And Their Logic Extended Abstract
Your browser may not have a PDF reader available. Google recommends visiting our text version of this document.
http://csdl.computer.org/comp/proceedings/time/2004/2155/00/21550007.pdf
Atlas: Logic Programming With Temporal Constraint Graphs By Sergei Bogomolov
Bogomolov and A.G.Yankovsky, temporal constraint logic programming in modelling of distributed realtime systems, in Proceedings of the first international
http://atlas-conferences.com/c/a/c/s/22.htm

Extractions: LGTCM Soft Lab Logic Programming with Temporal Constraint Graphs Presented by Sergei Bogomolov LGTCM Soft Lab The aim of this paper is to present an approach based on conception of constraint logic programming. Temporal constraints are concerned that lie in the class of closed linear inequalities involving no more than two temporal variables. This restriction allows to propose effective procedure of computation of answer to temporal constraints query. The temporal reasoning scheme combines the temporal constraints consistency procedure based on transitive closure and non-deterministic choice procedure based on SLD-resolution. The consistency procedure allows to cut off non-promise ways of search. The size of search space is cut down much more large if there are more accurate temporal constraints in initial query and rules from temporal constraint logic program. The logic programs with temporal constraints (TC) enable to use new flexible computation strategies based on analysis of accuracy of temporal constraints of TC-rules and TC-query. The computation strategy defines an order of round of search tree and includes a selection step of active atom from current query and a suitable rule choice from admissible rule list. For selection of suitable rule a more compound strategy may use the ordering of admissible rules set based on analysis of accuracy of temporal constraints.
Index Of /spec-patterns
DIR Parent Directory TXT FAQ.html 04-Dec-2003 1421 295 FAQ.html.old 04-Dec-2003 1409 6.1K DIR GIL/ 02-Dec-1998 1349 - TXT
http://santos.cis.ksu.edu/spec-patterns/

Extractions: Name Last modified Size Description ... FAQ.html 04-Dec-2003 14:21 295 FAQ.html.old 04-Dec-2003 14:09 6.1K GIL/ 02-Dec-1998 13:49 - OLD-ctl.html 04-Dec-2003 14:21 295 OLD-ctl.html.old 04-Dec-2003 14:09 12K OLD-ltl.html 04-Dec-2003 14:21 295 OLD-ltl.html.old 04-Dec-2003 14:09 11K SURVEY/ 02-Dec-1998 13:49 - absence.html 04-Dec-2003 14:21 295 absence.html.old 04-Dec-2003 14:09 2.6K backup.tar.gz 04-Dec-2003 14:21 762 boolean.OLD 02-Dec-1998 13:49 5.5K bounded.html 04-Dec-2003 14:21 295 bounded.html.old 04-Dec-2003 14:09 3.2K chain.html 04-Dec-2003 14:21 295 chain.html.old 04-Dec-2003 14:09 887 constrained.html 04-Dec-2003 14:21 295 constrained.html.old 04-Dec-2003 14:09 3.4K ctl.html 04-Dec-2003 14:21 295 ctl.html.old 04-Dec-2003 14:09 12K existence.html 04-Dec-2003 14:21 295 existence.html.old

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

61-66 of 66 Back | 1 | 2 | 3 | 4