Trevor Jennings

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Topics

Logical Language

Semantic Information

Operational Semantics

Top Venues

Publications

Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings
Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq. HILT (2013)
Roderick Chapman, Trevor Jennings
OOT, DO-178C and SPARK. Ada-Europe (2011)
Trevor Jennings
SPARK: the libre language and toolset for high-assurance software engineering. SIGAda (2009)