<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="en">
	<id>https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=50.193.156.129</id>
	<title>formulasearchengine - User contributions [en]</title>
	<link rel="self" type="application/atom+xml" href="https://en.formulasearchengine.com/w/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=50.193.156.129"/>
	<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/wiki/Special:Contributions/50.193.156.129"/>
	<updated>2026-07-12T02:05:44Z</updated>
	<subtitle>User contributions</subtitle>
	<generator>MediaWiki 1.47.0-wmf.7</generator>
	<entry>
		<id>https://en.formulasearchengine.com/w/index.php?title=Runtime_verification&amp;diff=11640</id>
		<title>Runtime verification</title>
		<link rel="alternate" type="text/html" href="https://en.formulasearchengine.com/w/index.php?title=Runtime_verification&amp;diff=11640"/>
		<updated>2014-01-07T22:03:17Z</updated>

		<summary type="html">&lt;p&gt;50.193.156.129: Added Contrast Security to the list of commercial products&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;{{Sidebar with collapsible lists&lt;br /&gt;
| name = Thermodynamics&lt;br /&gt;
| title = [[Thermodynamics]]&lt;br /&gt;
| bodyclass = hlist&lt;br /&gt;
| imagestyle = border-top:1px solid #aaa;&lt;br /&gt;
| image = [[File:Carnot heat engine 2.svg|frameless|link=Carnot heat engine]]&lt;br /&gt;
| captionstyle = padding-bottom:0.65em;border-bottom:1px solid #aaa;&lt;br /&gt;
| caption = The classical [[Carnot heat engine]]&amp;lt;br /&amp;gt;&lt;br /&gt;
&#039;&#039;&#039;{{Icon|Book}} [[Book:Thermodynamics]]&#039;&#039;&#039;&lt;br /&gt;
| listtitlestyle = text-align:center;&lt;br /&gt;
| liststyle = border-top:1px solid #aaa;border-bottom:1px solid #aaa;&lt;br /&gt;
| expanded = {{{cTopic|{{{expanded|}}}}}}&lt;br /&gt;
&lt;br /&gt;
| content1 = &lt;br /&gt;
&lt;br /&gt;
| list2name = Branches&lt;br /&gt;
| list2title = Branches&lt;br /&gt;
| list2 = &lt;br /&gt;
* [[Thermodynamics|Classical]]&lt;br /&gt;
* [[Statistical mechanics|Statistical]]&lt;br /&gt;
* [[Chemical thermodynamics|Chemical]]&lt;br /&gt;
* [[Equilibrium thermodynamics|Equilibrium]]{{\}}[[Non-equilibrium thermodynamics|Non-equilibrium]]&lt;br /&gt;
&lt;br /&gt;
| list3name = Laws&lt;br /&gt;
| list3title = [[Laws of thermodynamics|Laws]]&lt;br /&gt;
| list3 =&lt;br /&gt;
* [[Zeroth law of thermodynamics|Zeroth]]&lt;br /&gt;
* [[First law of thermodynamics|First]]&lt;br /&gt;
* [[Second law of thermodynamics|Second]]&lt;br /&gt;
* [[Third law of thermodynamics|Third]]&lt;br /&gt;
&lt;br /&gt;
| list4name = Systems&lt;br /&gt;
| list4title = [[Thermodynamic system|Systems]]&lt;br /&gt;
| list4 = {{sidebar|navbar=off&lt;br /&gt;
 | bodystyle = {{subsidebar bodystyle}}&lt;br /&gt;
 | headingstyle = font-style:italic;&lt;br /&gt;
 |heading1 = [[Thermodynamic state|State]]&lt;br /&gt;
 |content1 =&lt;br /&gt;
* [[Equation of state]]&lt;br /&gt;
* [[Ideal gas]]&lt;br /&gt;
* [[Real gas]]&lt;br /&gt;
* [[State of matter|Phase{{\}}State of matter]]&lt;br /&gt;
* [[Thermodynamic equilibrium|Equilibrium]]&lt;br /&gt;
* [[Control volume]]&lt;br /&gt;
* [[Thermodynamic instruments|Instruments]]&lt;br /&gt;
&lt;br /&gt;
 |heading2 = [[Thermodynamic process|Processes]]&lt;br /&gt;
 |content2 =&lt;br /&gt;
* [[Isobaric process|Isobaric]]&lt;br /&gt;
* [[Isochoric process|Isochoric]]&lt;br /&gt;
* [[Isothermal process|Isothermal]]&lt;br /&gt;
* [[Adiabatic process|Adiabatic]]&lt;br /&gt;
* [[Isentropic process|Isentropic]]&lt;br /&gt;
* [[Isenthalpic process|Isenthalpic]]&lt;br /&gt;
* [[Quasistatic process|Quasistatic]]&lt;br /&gt;
* [[Polytropic process|Polytropic]]&lt;br /&gt;
* [[Free expansion]]&lt;br /&gt;
* [[Reversible process (thermodynamics)|Reversibility]]&lt;br /&gt;
* [[Irreversible process|Irreversibility]]&lt;br /&gt;
* [[Endoreversible thermodynamics|Endoreversibility]]&lt;br /&gt;
&lt;br /&gt;
 |heading3 = [[Thermodynamic cycle|Cycle]]s&lt;br /&gt;
 |content3 =&lt;br /&gt;
* [[Heat engine]]s&lt;br /&gt;
* [[Heat pump and refrigeration cycle|Heat pumps]]&lt;br /&gt;
* [[Thermal efficiency]]&lt;br /&gt;
}}&lt;br /&gt;
&lt;br /&gt;
| list5name = System properties&lt;br /&gt;
| list5title = [[List of thermodynamic properties|System properties]]&lt;br /&gt;
| list5 ={{sidebar|navbar=off&lt;br /&gt;
 | bodystyle = {{subsidebar bodystyle}}&lt;br /&gt;
 | content1 =&lt;br /&gt;
* [[Thermodynamic diagrams|Property diagrams]]&lt;br /&gt;
* [[Intensive and extensive properties]]&lt;br /&gt;
&lt;br /&gt;
 | heading2 = [[State function|Functions of state]]&amp;lt;br/&amp;gt;{{small|([[Conjugate variables (thermodynamics)|Conjugate variables]] in &#039;&#039;italics&#039;&#039;)}}&lt;br /&gt;
 | content2 = &lt;br /&gt;
* [[Thermodynamic temperature|Temperature]]{{\}}&#039;&#039;[[Entropy]]&#039;&#039;&lt;br /&gt;
* [[Introduction to entropy]]&lt;br /&gt;
* [[Pressure]]{{\}}&#039;&#039;[[Volume (thermodynamics)|Volume]]&#039;&#039;&lt;br /&gt;
* [[Chemical potential]]{{\}}&#039;&#039;[[Particle number]]&lt;br /&gt;
* [[Vapor quality]]&lt;br /&gt;
* [[Reduced properties]]&lt;br /&gt;
&lt;br /&gt;
 |heading3 = [[Process function]]s&lt;br /&gt;
 |content3 = &lt;br /&gt;
* [[Work (thermodynamics)|Work]]&lt;br /&gt;
* [[Heat]]&lt;br /&gt;
}}&lt;br /&gt;
&lt;br /&gt;
| list6name = Material properties&lt;br /&gt;
| list6title = [[Material properties (thermodynamics)|Material properties]]&lt;br /&gt;
| list6 = &lt;br /&gt;
&amp;lt;div style=&amp;quot;text-align:center;font-size:90%;&amp;quot;&amp;gt;{{Material properties equations (thermodynamics)}}&amp;lt;/div&amp;gt;&lt;br /&gt;
* [[Thermodynamic databases for pure substances|Property database]]&lt;br /&gt;
&lt;br /&gt;
| list7name = Equations&lt;br /&gt;
| list7title = [[Thermodynamic equations|Equations]]&lt;br /&gt;
| list7 = &lt;br /&gt;
* [[Carnot&#039;s theorem (thermodynamics)|Carnot&#039;s theorem]]&lt;br /&gt;
* [[Clausius theorem]]&lt;br /&gt;
* [[Fundamental thermodynamic relation|Fundamental relation]]&lt;br /&gt;
* [[Ideal gas law]]&lt;br /&gt;
* [[Maxwell relations]]&lt;br /&gt;
* [[Onsager reciprocal relations]]&lt;br /&gt;
* [[Bridgman&#039;s thermodynamic equations]]&lt;br /&gt;
* [[Table of thermodynamic equations]]&lt;br /&gt;
&lt;br /&gt;
| list8name = Potentials&lt;br /&gt;
| list8title = [[Thermodynamic potential|Potentials]]&lt;br /&gt;
| list8 = &lt;br /&gt;
* [[Thermodynamic free energy|Free energy]]&lt;br /&gt;
* [[Free entropy]]&lt;br /&gt;
* {{longlink|style=line-height:1.35em;padding-bottom:0.4em; |[[Internal energy]]&amp;lt;br/&amp;gt;&amp;lt;math&amp;gt;U(S,V)&amp;lt;/math&amp;gt;}}&lt;br /&gt;
&lt;br /&gt;
* {{longlink|style=line-height:1.35em;padding-bottom:0.4em; |[[Enthalpy]]&amp;lt;br/&amp;gt;&amp;lt;math&amp;gt;H(S,p)=U+pV&amp;lt;/math&amp;gt;}}&lt;br /&gt;
&lt;br /&gt;
* {{longlink|style=line-height:1.35em;padding-bottom:0.4em; |[[Helmholtz free energy]]&amp;lt;br/&amp;gt;&amp;lt;math&amp;gt;A(T,V)=U-TS&amp;lt;/math&amp;gt;}}&lt;br /&gt;
&lt;br /&gt;
* {{longlink|style=line-height:1.35em;padding-bottom:0.4em; |[[Gibbs free energy]]&amp;lt;br/&amp;gt;&amp;lt;math&amp;gt;G(T,p)=H-TS&amp;lt;/math&amp;gt;}}&lt;br /&gt;
&lt;br /&gt;
| list9name = History/culture&lt;br /&gt;
| list9title = History / Culture&lt;br /&gt;
| list9 = {{sidebar|navbar=off&lt;br /&gt;
 | bodystyle = {{subsidebar bodystyle}}&lt;br /&gt;
 | headingstyle = font-style:italic;&lt;br /&gt;
&lt;br /&gt;
 |heading1 = [[Philosophy of thermal and statistical physics|Philosophy]]&lt;br /&gt;
 |content1 = &lt;br /&gt;
* [[Entropy (arrow of time)|Entropy and time]]&lt;br /&gt;
* [[Entropy and life]]&lt;br /&gt;
* [[Brownian ratchet]]&lt;br /&gt;
* [[Maxwell&#039;s demon]]&lt;br /&gt;
* [[Heat death paradox]]&lt;br /&gt;
* [[Loschmidt&#039;s paradox]]&lt;br /&gt;
* [[Synergetics (Haken)|Synergetics]]&lt;br /&gt;
&lt;br /&gt;
 |heading2 = History&lt;br /&gt;
 |content2 = &lt;br /&gt;
* [[History of thermodynamics|General]]&lt;br /&gt;
* [[History of heat|Heat]]&lt;br /&gt;
* [[History of entropy|Entropy]]&lt;br /&gt;
* [[Gas laws]]&lt;br /&gt;
* [[History of perpetual motion machines|&amp;quot;Perpetual motion&amp;quot; machines]]&lt;br /&gt;
&lt;br /&gt;
 |heading3 = Theories&lt;br /&gt;
 |content3 = &lt;br /&gt;
* [[Caloric theory]]&lt;br /&gt;
* [[Vis viva]]&lt;br /&gt;
* [[Theory of heat]]&lt;br /&gt;
* [[Mechanical equivalent of heat]]&lt;br /&gt;
* [[Motive power]]&lt;br /&gt;
&lt;br /&gt;
 |heading4 = [[List of important publications in physics|Key publications]]&lt;br /&gt;
 |content4 = &lt;br /&gt;
* {{longlink|&amp;quot;[[An Experimental Enquiry Concerning the Source of the Heat which is Excited by Friction|An Experimental Enquiry&amp;lt;br/&amp;gt;Concerning ... Heat]]&amp;quot;}}&lt;br /&gt;
&lt;br /&gt;
* {{longlink|&amp;quot;[[On the Equilibrium of Heterogeneous Substances|On the Equilibrium of&amp;lt;br/&amp;gt;Heterogeneous Substances]]&amp;quot;}}&lt;br /&gt;
&lt;br /&gt;
* {{longlink|&amp;quot;[[Reflections on the Motive Power of Fire|Reflections on the&amp;lt;br/&amp;gt;Motive Power of Fire]]&amp;quot;}}&lt;br /&gt;
&lt;br /&gt;
 |heading5 = Timelines&lt;br /&gt;
 |content5 =&lt;br /&gt;
* [[Timeline of thermodynamics|Thermodynamics]]&lt;br /&gt;
* [[Timeline of heat engine technology|Heat engines]]&lt;br /&gt;
&lt;br /&gt;
 |heading6 = Art&lt;br /&gt;
 |content6 = &lt;br /&gt;
* [[Maxwell&#039;s thermodynamic surface]]&lt;br /&gt;
&lt;br /&gt;
 |heading7 = Education&lt;br /&gt;
 |content7 = &lt;br /&gt;
* [[Entropy (energy dispersal)|Entropy as energy dispersal]]&lt;br /&gt;
}}&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
| list10name = Scientists&lt;br /&gt;
| list10title = Scientists&lt;br /&gt;
| list10 =&lt;br /&gt;
&amp;lt;!--Alphabetical:--&amp;gt;&lt;br /&gt;
* [[Daniel Bernoulli|Bernoulli]]&lt;br /&gt;
* [[Nicolas Léonard Sadi Carnot|Carnot]]&lt;br /&gt;
* [[Benoît Paul Émile Clapeyron|Clapeyron]]&lt;br /&gt;
* [[Rudolf Clausius|Clausius]]&lt;br /&gt;
* [[Constantin Carathéodory|Carathéodory]]&lt;br /&gt;
* [[Pierre Duhem]]&lt;br /&gt;
* [[Josiah Willard Gibbs|Gibbs]]&lt;br /&gt;
* [[Hermann von Helmholtz|von Helmholtz]]&lt;br /&gt;
* [[James Prescott Joule|Joule]]&lt;br /&gt;
* [[James Clerk Maxwell|Maxwell]]&lt;br /&gt;
* [[Julius von Mayer|von Mayer]]&lt;br /&gt;
* [[Lars Onsager|Onsager]]&lt;br /&gt;
* [[William John Macquorn Rankine|Rankine]]&lt;br /&gt;
* [[John Smeaton|Smeaton]]&lt;br /&gt;
* [[Georg Ernst Stahl|Stahl]]&lt;br /&gt;
* [[Benjamin Thompson|Thompson]]&lt;br /&gt;
* [[William Thomson, 1st Baron Kelvin|Thomson (Baron Kelvin)]]&lt;br /&gt;
* [[John James Waterston|Waterson]]&lt;br /&gt;
* [[Meghnad Saha|saha]]&lt;br /&gt;
}}&amp;lt;noinclude&amp;gt;&lt;br /&gt;
&lt;br /&gt;
{{collapsible lists option&lt;br /&gt;
 |listnames = Branches, Laws, System, System properties, Material properties,&amp;lt;br/&amp;gt;Equations, Potentials, History/culture, Scientists&lt;br /&gt;
 |example = Material properties&lt;br /&gt;
}}&lt;br /&gt;
&lt;br /&gt;
[[Category:Chemistry templates]]&lt;br /&gt;
[[Category:Mechanics templates]]&lt;br /&gt;
[[Category:Physics sidebar templates]]&lt;br /&gt;
[[Category:Exclude in print]]&lt;br /&gt;
&lt;br /&gt;
&amp;lt;/noinclude&amp;gt;&lt;/div&gt;</summary>
		<author><name>50.193.156.129</name></author>
	</entry>
</feed>