Myla Archer

From MaRDI portal
Person:633294

Available identifiers

zbMath Open archer.myla-mMaRDI QIDQ633294

List of research outcomes





PublicationDate of PublicationType
Translation templates to support strategy development in PVS2013-12-06Paper
PVS strategies for proving abstraction properties of automata2013-09-25Paper
Model-based construction and verification of critical systems using composition and partial refinement2011-03-31Paper
Proving invariants of I/O automata with TAME2003-02-17Paper
TAME: Using PVS strategies for special-purpose theorem proving2002-06-27Paper
https://portal.mardi4nfdi.de/entity/Q33457491984-01-01Paper

Research outcomes over time

This page was built for person: Myla Archer

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:633294&oldid=10917068"
Powered by MediaWiki