reo.project.cwi.nl
Tools – Reo Coordination Language
http://reo.project.cwi.nl/cgi-bin/trac.cgi/reo/wiki/Tools
The Extensible Coordination Tools (ECT) are a set of plug-ins for the. Platform. The tools currently support:. Of Reo connectors and (variations of) constraint automata. Of Reo connectors using on-the-fly generated Flash bytecode. From Reo connectors or constraint automata. Generation of propositional formulas with linear arithmetic. From Timed Constraint Automata. For use in bounded model checking. Of connectors using algebraic graph. Model checking connectors using Vereofy. In the Help menu of Eclipse.
reo.project.cwi.nl
Tools – Reo Coordination Language
http://reo.project.cwi.nl/reo/wiki/Tools
The Extensible Coordination Tools (ECT) are a set of plug-ins for the. Platform. The tools currently support:. Of Reo connectors and (variations of) constraint automata. Of Reo connectors using on-the-fly generated Flash bytecode. From Reo connectors or constraint automata. Generation of propositional formulas with linear arithmetic. From Timed Constraint Automata. For use in bounded model checking. Of connectors using algebraic graph. Model checking connectors using Vereofy. In the Help menu of Eclipse.
en.wikipedia.org
Peg solitaire - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Peg_solitaire
From Wikipedia, the free encyclopedia. The Princess of Soubise. Playing solitaire, 1687. Is a board game. For one player involving movement of pegs on a board with holes. Some sets use marbles in a board with indentations. The game is known simply as Solitaire. In the United Kingdom. Where the card games are called Patience. It is also referred to as Brainvita. The first evidence of the game can be traced back to the court of Louis XIV. Studies on peg solitaire. Solutions to the English game. Emboldened ...
mweerden.net
mweerden.net
http://www.mweerden.net/tools.html
MCRL2 is a formal specification language with an associated toolset. The toolset can be used for modelling, validation and verification of concurrent systems and protocols. - http:/ www.mcrl2.org/. This is a proof of concept for my paper Automating Soundness Proofs. It takes an SOS specification S. A definition of relation R. And an (in)equality e. And tries to prove that e. I ported the CHDK to the Canon IXUS 870 IS. And have written some documentation. 2009 - 2012 Muck van Weerdenburg.
nkokash.com
Natallia Kokash personal web page
http://www.nkokash.com/compas.html
Researcher at Leiden University. Concepts of Programming Languages (Fall 2013). Concepts of Programming Languages (Fall 2012). Software Engineering (Fall 2011). COMPAS (Compliance-driven Models, Languages and Architectures for Services) is a EU funded project which aims at designing and implementing novel models, languages, and architectures inluding required software components and services to ensure dynamic and on-going compliance of software services to business regulations and user-service requiremen...
mweerden.net
mweerden.net
http://www.mweerden.net/about.html
Well, this is my personal website. I'm Muck van Weerdenburg. A Dutch computer scientist (for lack of a better description). I got my M.Sc. in Computer Science at the Eindhoven University of Technology (TU/e). In 2004. In the period of 2004-2008 I stayed at the TU/e as a Ph.D. student (under the supervision of Jan Friso Groote. On April 1, 2009 I obtained my Ph.D. 2009 - 2012 Muck van Weerdenburg.
win.tue.nl
Erik de Vink
http://www.win.tue.nl/~evink
I am currently interested in formal modelling and analysis of Software Product Lines. And in formal methods for Dynamic System Adaptation. Modelcheckers for tool support. 7th IPM International Conference on Fundamentals of Software Engineering April 26-28, 2017, Tehran. 11th International Workshop on Variability Modelling of Software-intensive Systems, February 1-3, 2017, Eindhoven. 21st international symposium on Formal Methods, November 7-11, 2016, Limassol. 2nd Workshop on Software Product Line Analys...
en.wikipedia.org
Process calculus - Wikipedia, the free encyclopedia
https://en.wikipedia.org/wiki/Process_calculi
From Wikipedia, the free encyclopedia. Redirected from Process calculi. Are a diverse family of related approaches for formally modelling concurrent systems. Process calculi provide a tool for the high-level description of interactions, communications, and synchronizations between a collection of independent agents or processes. They also provide algebraic. Leading examples of process calculi include CSP. More recent additions to the family include the π-calculus. Discrete and continuous process algebra.
