MALPAS Software Static Analysis Toolset
subject: Category:Static program analysis tools
type: Software
developer: Atkins (company)
type: Q386724
type: CreativeWork
genre: Static program analysis
subject: Category:Theorem proving software systems
operating system: Microsoft Windows
type: Work
description: software static analysis tool used for safety critical applications
type: Thing
type: Q7397
description: програмне забезпечення @uk
subject: Category:Formal methods tools
description: Software @de
subject: Category:Model checkers
subject: Category:Software testing tools
hypernym: Toolset
description: perangkat lunak Atkins @in
license: Proprietary software