An important step toward adoption of formal methods in software development is support for mainstream programming languages Unfortunately  these languages are often rather complex and come with substantial standard libraries