fsautomata's ltl [14 articles] Export Sort

Recent papers added to fsautomata's library classified by the tag ltl. You can also see everyone's ltl.

Hide details

	Tools and rules for the practicing verifier [My Copy] (1990) by Z. Manna, Amir Pnueli posted to modelchecking ltl by fsautomata on 2009-11-05 04:15:49 as
	The role of visual tools in a web application design and verification framework : A visual notation for LTL formulae [My Copy] Lecture notes in computer science In ICWE : international conference on web engineering No5 (2005) by Marco Brambilla, Alin Deutsch, Living Sui, Victor Vianu posted to ltl by fsautomata on 2009-11-05 01:43:15 as
	UPPAAL — a tool suite for automatic verification of real-time systems [My Copy] Hybrid Systems III (1996), pp. 232-243. by Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi posted to ltl modelchecking by fsautomata on 2009-03-19 18:32:42 as
	Software Construction and Analysis Tools for Future Space Missions [My Copy] by Michael R. Lowry posted to ltl modelchecking by fsautomata on 2009-03-19 18:30:19 as
	Property specification patterns for finite-state verification [My Copy] In Proceedings of the Second Workshop on Formal Methods in Software Practice (1998), pp. 7-15. by Matthew B. Dwyer, George S. Avrunin, James C. Corbett posted to ltl modelchecking by fsautomata on 2009-03-18 03:55:20 as
	Fast LTL to Büchi Automata Translation [My Copy] In CAV '01: Proceedings of the 13th International Conference on Computer Aided Verification (2001), pp. 53-65. by Paul Gastin, Denis Oddoux posted to ltl modelchecking by fsautomata on 2009-03-18 03:53:37 as
	The complexity of propositional linear temporal logics [My Copy] J. ACM, Vol. 32, No. 3. (July 1985), pp. 733-749. by A. P. Sistla, E. M. Clarke posted to logic ltl modelchecking by fsautomata on 2009-03-18 03:50:55 as along with 1 person jfischer
	Reasoning about infinite computation paths [My Copy] Foundations of Computer Science, 1983., 24th Annual Symposium on In Foundations of Computer Science, 1983., 24th Annual Symposium on (1983), pp. 185-194. by Pierre Wolper, Moshe Y. Vardi, Prasad A. Sistla posted to ltl modelchecking by fsautomata on 2009-03-18 03:50:01 as
	Bisimulation minimization in an automata-theoretic verification framework [My Copy] In In Formal Methods in Computer-Aided Design (FMCAD (1998), pp. 115-132. by Kathi Fisler, Moshe Y. Vardi posted to ltl modelchecking by fsautomata on 2009-03-18 03:14:22 as
	Patterns in Property Specifications for Finite-State Verification [My Copy] In Proceedings of the 21st International Conference on Software Engineering ICSE'99 (1999) by Matthew B. Dwyer, George S. Avrunin, James C. Corbett posted to discovery ltl patterns by fsautomata on 2009-03-15 22:07:05 as
	CCS expressions, finite state processes, and three problems of equivalence [My Copy] In PODC '83: Proceedings of the second annual ACM symposium on Principles of distributed computing (1983), pp. 228-240. by Paris C. Kanellakis, Scott A. Smolka posted to logic ltl by fsautomata on 2008-09-29 20:30:01 as along with 1 person theshadowhost
	An n log n algorithm for minimizing states in a finite automaton [My Copy] (1971) by John E. Hopcroft posted to fsa ltl by fsautomata on 2008-09-26 21:46:02 as along with 2 people AbnerCYH vannevarvision
	Timed regular expressions [My Copy] J. ACM, Vol. 49, No. 2. (2002), pp. 172-206. posted to ltl regexp by fsautomata on 2008-09-22 19:00:15 as
	Regular Model Checking for LTL(MSO) [My Copy] Computer Aided Verification (2004), pp. 348-360. by Parosh A. Abdulla, Bengt Jonsson, Marcus Nilsson, Julien D’orso, Mayank Saksena posted to ltl by fsautomata on 2008-09-19 03:25:57 as

Note: You may cite this page as: http://www.citeulike.org/user/fsautomata/tag/ltl

fsautomata's tags

All tags in fsautomata's library

Filter:

Privacy Statement | Terms & Conditions