Trevor Jennings

According to our database, Trevor Jennings authored at least 3 papers between 2009 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq.

Pierre Courtieu, Maria-Virginia Aponte, Tristan Crolard, Zhi Zhang, Robby, Jason Belt, John Hatcliff, Jérôme Guitton, Trevor Jennings

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

2011

OOT, DO-178C and SPARK.

Roderick Chapman, Trevor Jennings

Proceedings of the Reliable Software Technologies - Ada-Europe 2011, 2011

2009

SPARK: the libre language and toolset for high-assurance software engineering.

Trevor Jennings

Proceedings of the 2009 Annual ACM SIGAda International Conference on Ada, 2009