uppaal : Discussion list for issues related to the verification tool UPPAAL.

Activity within 7 days:

Description

UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).

The tool is developed in collaboration between the Design and Analysis of Real-Time Systems group at Uppsala University, Sweden and Basic Research in Computer Science at Aalborg University, Denmark. For more information about UPPAAL see the web site.

This email list is intended for open discussions of UPPAAL related issues. To avoid spam, messages from new members are moderated.

Most Recent Messages

(View All)
(Group by Topic)

Advanced

Start Topic

Re: Blocking braodcast synchronization? (Rendez-vous) Dear Marius Thanks a lot for your answer. It is quite useful for me. I will go through the UPPAAL tutorial again to deeply understand what you said. Best Posted - Mon May 28, 2012 12:23 pm	zlx_snowgirl Offline Send Email
Re: Blocking braodcast synchronization? (Rendez-vous) Dear Lucy, 2012/5/28 zlx_snowgirl <zlx_snowgirl@...> ... The trick is that the invariant on the target location will not allow other transitions than Posted - Mon May 28, 2012 7:33 am	Marius Mikucionis marius.mikuc... Offline Send Email
Re: Blocking braodcast synchronization? (Rendez-vous) Hi,Marius and other guys I don't quite understand what you mean. Briefly, I don't know that how the three points you proposed and the broadcast channel work Posted - Mon May 28, 2012 7:25 am	zlx_snowgirl Offline Send Email
Re: Chan by reference in functions Hello, Currently a reference to a channel is meaningless as a function parameter and in principle the type-checker should not allow it, however the channel Posted - Tue May 22, 2012 8:40 am	Marius Mikucionis marius.mikuc... Offline Send Email
Chan by reference in functions Hi, I'm wondering about this, valid construct: void foo(chan &c) { //... } What can I do with &c? Assignments and check for equality seems to be invalid like: Posted - Tue May 22, 2012 8:06 am	Tobias Tarion@... Send Email
Add uppaal to your personalized My Yahoo! page What's This?

Message History

	Jan	Feb	Mar	Apr	May	Jun	Jul	Aug	Sep	Oct	Nov	Dec
2012	10	9	4	13	11
2011	7	22	36	30	14	4	12	8	26	9	2	11
2010	6	39	2	33	24	18	20	18	13	3	6	4
2009	9	2	1	17	10	12	4	13	11	17	12	4
2008	6	5	9	13	10	5	5	4	19	4	2	9
2007	6	7	8	10	13	17	15	10	3	10	29	15
2006	43	29	42	22	13	11	12	3	17	2	47	7
2005	29	37	38	59	31	47	10	9	3	11	39	53
2004	5	1	30	25	9	5	5	15	9	21	37	6
2003	20	25	36	17	17	18	22	13	7	22	1	5
2002	17	7	8	15	2	11	1	1	3	6	5	3
2001	30	18	2	5	19	9	19	7	17	13	16	24
2000											10	2

Group Information

Yahoo! Groups Tips

Did you know...

Home

Activity within 7 days:

Description

Most Recent Messages

Message History

Questions in Computers & Internet > Software

Want to help answer other questions? Go to Yahoo! Answers

Yahoo! My Yahoo! Mail
	Sign In New User? Sign Up
		Tech - Groups - Help