Verified design of an automated parking garage

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4346 LNCS, Issue , 2007, Pages 165-180

  Mathijssen, Aad ^a   Johannes Pretorius, A ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL; LARGE SCALE SYSTEMS; LIGHT WEIGHT VEHICLES; SOFTWARE ARCHITECTURE; SOFTWARE DESIGN;

ALGORITHMIC ASPECTS; CUSTOM VISUALIZATION; SAFETY ASPECTS;

GARAGES (PARKING);

EID: 34548738660     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-70952-7_11     Document Type: Conference Paper

References (12)

1. Verdult, E.: In de prak geparkeerd. De Ingenieur 7 (2005) 32-35
2. Groote, J.F., Mathijssen, A., Van Weerdenburg, M., Usenko, Y.S.: From μCRL to mCRL2: motivation and outline. In: Proc. Workshop on Algebraic Process Calculi: The First Twenty Five Years and Beyond. BRICS NS-05-3 (2005) 126-131
3. Groote, J.F., Mathijssen, A., Ploeger, B., Reniers, M., Van Weerdenburg, M., Van der Wulp, J.: Process algebra and mCRL2, IPA basic course on formal methods 2006. www.mcrl2.org (2006)
4. mCRL2: mCRL2 homepage (2006) www.mcrl2.org.
5. Groote, J.F., Ponse, A.: The syntax and semantics of μCRL. In: Algebra of Communicating Processes, Workshops in Computing. (1994) 26-62
6. Groote, J.F., Reniers, M.: Algebraic process verification. In: Handbook of Process Algebra. Elsevier (2001) 1151-1208
7. Fokkink, W., Groote, J.F., Pang, J., Badban, B., Van de Pol, J.: Verifying a sliding window protocol in μCRL. In: Proc. 10th Int'l Conf. Algebraic Methodology and Software Technology. Number 3116 in LNCS, Springer (2004) 148-163
8. Groote, J.F., Pang, J., Wouters, A.G.: Analysis of a distributed system for lifting trucks. J. Logic and Algebraic Programming 55(1-2) (2003) 21-56
9. Pang, J., Fokkink, W., Hofman, R., Veldema, R.: Model checking a cache coherence protocol for a Java DSM implementation. In: Proc. International Parallel and Distributed Processing Symposium (IPDPS'03), IEEE CS Press (2003)
10. Mathijssen, A., Pretorius, A.J.: Specification, analysis, and verification of an auto-mated parking garage. Technical Report 05-25, Technische Universiteit Eindhoven (2005)
11. Pretorius, A.J., Van Wijk, J.J.: Multidimensional visualization of transition systems. In: Proc. 9th Int'l Conf. Information Visualization (IV05), IEEE CS Press (2005) 323-328
12. Van Ham, F., Van de Wetering, H., Van Wijk, J.J.: Interactive visualization of state transition systems. IEEE Transactions on Visualization and Computer Graphics 8(4) (2002) 319-329