Parametric and Quantitative Extensions of Modal Transition Systems
作者： Uli Fahrenberg , Kim Guldstrand Larsen , Axel Legay , Louis-Marie Traonouez
DOI: 10.1007/978-3-642-54848-2_6
关键词:
摘要: Modal transition systems provide a behavioral and compositional specification formalism for reactive systems. We survey two extensions of modal systems: parametric specifications with parameters, weighted quantitative specifications.
springer.com
sci-hub.st 参考文章(36)
Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim G. Larsen, Axel Legay, Claus Thrane, Quantitative Refinement for Weighted Modal Transition Systems Mathematical Foundations of Computer Science 2011. pp. 60- 71 ,(2011) , 10.1007/978-3-642-22993-0_9
Nikola Beneš, Jan Křetínský, Kim G Larsen, Mikael H Møller, Jiří Srba, None, Parametric modal transition systems automated technology for verification and analysis. ,vol. 6996, pp. 275- 289 ,(2011) , 10.1007/978-3-642-24372-1_20
Michael Huth, Radha Jagadeesan, David Schmidt, Modal Transition Systems: A Foundation for Three-Valued Program Analysis european symposium on programming. pp. 155- 169 ,(2001) , 10.1007/3-540-45309-1_11
Robin Milner, Bigraphical Reactive Systems international conference on concurrency theory. pp. 16- 35 ,(2001) , 10.1007/3-540-44685-0_2
Nikola Beneš, Jan Křetínský, Process Algebra for Modal Transition Systemses mathematical and engineering methods in computer science. ,vol. 16, pp. 20- 27 ,(2010) , 10.4230/OASICS.MEMICS.2010.9
Patrice Godefroid, Michael Huth, Radha Jagadeesan, Abstraction-Based Model Checking Using Modal Transition Systems international conference on concurrency theory. pp. 426- 440 ,(2001) , 10.1007/3-540-44685-0_29
Radu Mardare, Alberto Policriti, A Complete Axiomatic System for a Process-Based Spatial Logic mathematical foundations of computer science. pp. 491- 502 ,(2008) , 10.1007/978-3-540-85238-4_40
Automatic Verification Methods for Finite State Systems Springer Berlin Heidelberg. ,(1990) , 10.1007/3-540-52148-8
Kim G. Larsen, Ulrik Nyman, Andrzej Wąsowski, On modal refinement and consistency international conference on concurrency theory. pp. 105- 119 ,(2007) , 10.1007/978-3-540-74407-8_8
Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez, Specification Theories for Probabilistic and Real-Time Systems joint european conferences on theory and practice of software. pp. 98- 117 ,(2014) , 10.1007/978-3-642-54848-2_7