arg.adaic.org/community-input/formal-methods-study-group
Preview meta tags from the arg.adaic.org website.
Linked Hostnames
3Thumbnail
Search Engine Appearance
https://arg.adaic.org/community-input/formal-methods-study-group
Ada Rapporteur Group - Formal Methods Study Group
The Formal Methods Study Group is focused on the SPARK language which is based on Ada 2012, as well as developing and evaluating proposals to add more formal methods support into Ada itself
Bing
Ada Rapporteur Group - Formal Methods Study Group
https://arg.adaic.org/community-input/formal-methods-study-group
The Formal Methods Study Group is focused on the SPARK language which is based on Ada 2012, as well as developing and evaluating proposals to add more formal methods support into Ada itself
DuckDuckGo
https://arg.adaic.org/community-input/formal-methods-study-groupAda Rapporteur Group - Formal Methods Study Group
The Formal Methods Study Group is focused on the SPARK language which is based on Ada 2012, as well as developing and evaluating proposals to add more formal methods support into Ada itself
General Meta Tags
5- titleAda Rapporteur Group - Formal Methods Study Group
- charsetutf-8
- viewportwidth=device-width, initial-scale=1
- X-UA-CompatibleIE=edge
- referrerorigin
Open Graph Meta Tags
5- og:titleAda Rapporteur Group - Formal Methods Study Group
- og:typewebsite
- og:urlhttps://arg.adaic.org/community-input/formal-methods-study-group
- og:descriptionThe Formal Methods Study Group is focused on the SPARK language which is based on Ada 2012, as well as developing and evaluating proposals to add more formal methods support into Ada itself
- og:imagehttps://lh5.googleusercontent.com/iBuIYwEaDZ3I7jzpzQbme3l--lG_6OPiZBOdJKwpyzVJrpt1jexZxeAedQzv3WCect76m2U9-4j7733CO9APTsg=w16383
Item Prop Meta Tags
6- nameAda Rapporteur Group - Formal Methods Study Group
- descriptionThe Formal Methods Study Group is focused on the SPARK language which is based on Ada 2012, as well as developing and evaluating proposals to add more formal methods support into Ada itself
- urlhttps://arg.adaic.org/community-input/formal-methods-study-group
- thumbnailUrlhttps://lh5.googleusercontent.com/iBuIYwEaDZ3I7jzpzQbme3l--lG_6OPiZBOdJKwpyzVJrpt1jexZxeAedQzv3WCect76m2U9-4j7733CO9APTsg=w16383
- imagehttps://lh5.googleusercontent.com/iBuIYwEaDZ3I7jzpzQbme3l--lG_6OPiZBOdJKwpyzVJrpt1jexZxeAedQzv3WCect76m2U9-4j7733CO9APTsg=w16383
Link Tags
4- iconhttps://lh6.googleusercontent.com/MsRnfzCP3G7_8kJgLtn7KsLP2J4qhS69z6NpopJgybnb1suxtin5nTik46Fjv6jDO1GWinrlAo2PzzT9Qh90e5b0QHBbVXQQmxMetzD4zsDactDj
- stylesheethttps://fonts.googleapis.com/css?family=Roboto%3A300%2C400%2C500%2C700%7COpen%20Sans%3A400%2C400italic%2C700%2C700italic&display=swap
- stylesheethttps://fonts.googleapis.com/css?family=Google+Sans:400,500|Roboto:300,400,500,700|Source+Code+Pro:400,700&display=swap
- stylesheethttps://www.gstatic.com/_/atari/_/ss/k=atari.vw.B__IqK2pAis.L.X.O/am=kGAAAg/d=1/rs=AGEqA5mRDe4vouBH3Iiihqy1CXgCTSCtXw
Links
10- https://arg.adaic.org/ada-interpretations
- https://arg.adaic.org/ada-reference-manual
- https://arg.adaic.org/community-input
- https://arg.adaic.org/community-input/accessibility-study-group
- https://arg.adaic.org/community-input/formal-methods-study-group