mathematically-based techniques for specifying and developing reliable systems; used for high security and safety purposes
the use of &"mathematically rigorous techniques and tools for the specification, design and verification of software and hardware systems&"
Worldwide , more than 50 million people have seen " Les Miz , " with gross receipts of $ 1.8 billion .