Model checking for software security properties
First International Conference on Space Mission Challenges for Information Technology
2002-07-13
Conference paper
No indication
English
Model checking large software specifications
Tema Archive | 1997
|Software model checking for avionics systems
IEEE | 2008
|NTRS | 1986
|Applying software model checking to PALS systems
IEEE | 2014
|