Translation Templates to Support Strategy Development in PVS (Q2864361): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.entcs.2007.01.057 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2038609413 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proving invariants of I/O automata with TAME / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: TAME: Using PVS strategies for special-purpose theorem proving / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4422092 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4282672 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal Modeling and Analysis of Timed Systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4012178 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Uppaal in a nutshell / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3833630 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2848044 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4239073 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Formal stystems specification. The RPC-memory specification case study / rank | |||
Normal rank |
Latest revision as of 04:01, 7 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Translation Templates to Support Strategy Development in PVS |
scientific article |
Statements
Translation Templates to Support Strategy Development in PVS (English)
0 references
6 December 2013
0 references
mechanical theorem proving
0 references
templates
0 references
specification translation
0 references
strategies
0 references
I/O automata
0 references
timed automata
0 references
hybrid automata
0 references