rysavy's formal_specification [26 articles] Export Sort

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

Hide details

	VeriTLA+: A Verification Environment for TLA+ Applied To Service Descriptions [My Copy] (2006) by Stephan Merz posted to formal_specification formal_verification by rysavy on 2006-04-20 21:32:11 as
	Verification of PLC Programs [My Copy] (2003) by Richard Susta posted to embedded formal_specification formal_verification by rysavy on 2006-04-19 12:32:37 as
	Model Checking for Abstract State Machines [My Copy] Journal of Universal Computer Science, Vol. 3, No. 5. (1997), pp. 689-701. by Kirsten Winter posted to abstract_state_machines formal_specification formal_verification by rysavy on 2006-02-17 11:21:43 as
	A Formal Representation of Abstract State Machines using PVS [My Copy] (1998) by A. Dold posted to abstract_state_machines formal_specification formal_verification by rysavy on 2006-02-15 14:26:19 as
	Encoding Abstract State Machines in PVS [My Copy] Lecture Notes in Computer Science, Vol. 1912 (2000), 303. by Angelo Gargantini, Elvinia Riccobene edited by Y. Gurevich, P. W. Kutter, M. Odersky, L. Thiele posted to abstract_state_machines formal_specification formal_verification by rysavy on 2006-02-15 08:58:32 as
	A Logic for Abstract State Machine [My Copy] Jurnal of Universal Computer Science, Vol. 7, No. 11. (2001) by Robert Stark, Stanislas Nanchen posted to abstract_state_machines dynamic_logic formal_specification modal_logic by rysavy on 2006-02-15 08:50:53 as
	Abstract State Machine Semantics of SDL [My Copy] Journal of Universal Computer Science, Vol. 3, No. 12. (1997), pp. 1382-1414. by U. Glaesser, R. Karges posted to embedded formal_specification by rysavy on 2006-02-14 09:16:04 as
	Verification of Reactive Systems Using DisCo and PVS [My Copy] In FME (1997), pp. 589-604. by Pertti Kellomaki posted to embedded formal_specification real_time by rysavy on 2006-02-10 09:31:09 as
	Abstraction and Modular Verification of Infinite-State Reactive Systems [My Copy] In Requirements Targeting Software and Systems Engineering (1997), pp. 273-292. by Zohar Manna, Michael Colon, Bernd Finkbeiner, Henny Sipma, Tomas E. Uribe posted to formal_specification formal_verification by rysavy on 2006-02-10 09:06:06 as
	Steam-boiler specification problem [My Copy] (1994) by Jean-Raymond Abrial posted to embedded formal_specification by rysavy on 2006-01-25 09:04:29 as
	Guidelines for Using SDL in Product Development [My Copy] Lecture Notes in Computer Science In System Analysis and Modeling: 4th International SDL and MSC Workshop, Vol. 3319 (2004) by Frank Weil1, Thomas Weigert edited by Daniel Amyot, Alan W. Williams posted to embedded formal_specification by rysavy on 2006-01-24 15:03:01 as
	Timed Extensions for SDL [My Copy] In SDL 2001, Vol. 2078 (2001) by Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent edited by R. Reed, J. Reed posted to embedded formal_specification by rysavy on 2006-01-18 08:02:22 as
	Using SDL in a Stateless Environment [My Copy] Lecture Notes in Computer Science In SDL 2001, Vol. 2078 (2001), pp. 316-334. by Vassilios Courzakis, Martin von Löwis, Ralf Schröder edited by R. Reed, J. Reed posted to embedded formal_specification by rysavy on 2006-01-18 07:49:33 as
	Verifying Large SDL-Specifications Using Model Checking [My Copy] Lecture Notes in Computer Science, Vol. 2078 (2001) by Natalia Sidorova, Martin Steffen posted to embedded formal_specification by rysavy on 2006-01-17 15:40:38 as
	Automatic Formal Model Generation and Analysis of SDL [My Copy] Lecture Notes in Computer Science, Vol. 2708 (2003), pp. 285-299. by Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi posted to embedded formal_specification by rysavy on 2006-01-17 15:31:47 as
	Generating a Compiler for SDL from the Formal Language Definition [My Copy] Lecture Notes in Computer Science, Vol. 2708 (2003), pp. 150-165. by Andreas Prinz, Martin posted to embedded formal_specification by rysavy on 2006-01-17 15:28:39 as
	Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems [My Copy] Lecture Notes in Computer Science, Vol. 2708 (2003), pp. 137-149. by Christoforos Kavadias, Bernard Perrin, Vangelis Kollias, Michael Loupis posted to embedded formal_specification by rysavy on 2006-01-17 15:25:52 as
	A Real-Time Profile for UML and How to Adapt It to SDL [My Copy] Lecture Notes in Computer Science, Vol. 2708 (2003), pp. 55-76. by Susanne Graf, Ileana Ober posted to embedded formal_specification by rysavy on 2006-01-17 15:23:41 as
	Using SDL for Modeling Behavior Composition [My Copy] Lecture Notes in Computer Science, Vol. 2708 (2003) by Jacqueline Floch, Rolv Bræk posted to embedded formal_specification by rysavy on 2006-01-17 15:21:26 as
	SDL Design of OSPF Protocol for the Wireless Private Network [My Copy] Lecture Notes in Computer Science In SDL 2005: Model Driven Systems Design: 12th International SDL Forum, Vol. 3530 by Yang Yang, Yang Lu, Xiaokang Lin edited by Andreas Prinz, Rick Reed, Jeanne Reed posted to embedded formal_specification by rysavy on 2006-01-17 15:17:34 as
	SDL formal definition - General [My Copy] (2002) by Ccitt Itu posted to embedded formal_specification by rysavy on 2006-01-17 14:58:58 as
	Specification and Description Language SDL [My Copy] (2002) by Ccitt Itu posted to embedded formal_specification by rysavy on 2006-01-17 14:51:28 as
	An Operational Semantic Model for Basic SDL [My Copy] (1991) by J. Godskesen posted to embedded formal_specification by rysavy on 2006-01-17 14:36:36 as
	Towards a Formal Foundation of the Specification and Description Language SDL [My Copy] Formal Aspects of Computing, Vol. 3, No. 1. (1991), pp. 21-57. by M. Broy posted to embedded formal_specification formal_verification by rysavy on 2006-01-17 14:24:42 as
	Specifying Real-Time Requirements for SDL Specifications: A Temporal Logic-Based Approach [My Copy] In Proceedings of the Fifteenth International Symposium on Protocol Specification, Testing, and Verification (1995) by Stefan Leue posted to embedded formal_specification by rysavy on 2006-01-17 14:17:44 as
	Verification of Embedded Software: Problems and Perspectives [My Copy] Lecture Notes in Computer Science, Vol. 2211 (2001), pp. 97-??. by Patrick Cousot, Radhia Cousot posted to embedded formal_specification formal_verification by rysavy on 2006-01-17 14:14:10 as along with 1 person suer

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

Sort by:
Order:	Default Ascending Descending
Empty fields:	Default First Last

formal_specification	26
embedded	23
rotor3	13
dependent_types	9
programming_languages	9
formal_verification	8
generic_programming	7
abstract_state_machines	6
type_theory	4
nominal_logic	3
real_time	2
program_verification	1
modal_logic	1
dynamic_logic	1
networking	1

rysavy's formal_specification [26 articles] Export Sort

rysavy's tags