Praxis Critical System’s Approach and the SPARK Language

Overview


•	Praxis Critical Systems

•	Introduction – Wild Claims

•	SPARK Language

•	Lockheed C130J

•	SPARK Proofs

•	SHOLIS

•	Conclusion