jpf Resources

Sponsored White Papers, Webcasts, and Downloads

State Extensions for Java PathFinder: Java PathFinder JPF is an explicit-state model checker for Java programs. JPF implements a backtrackable Java Virtual Machine JVM that provides non-deterministic choices and control over thread scheduling. JPF is itself implemented in Java and runs on top of a host JVM. JPF represents the JVM state of the program...; Tags: JVM, JPF, Java, Programming Languages, Software Development, Software/Web Development; White papers 2008-05-18
Optimized Execution of Deterministic Blocks in Java PathFinder: Java PathFinder JPF is an explicit-state model checker for Java programs. It explores all executions that a given program can have due to different thread interleavings and nondeterministic choices. JPF implements a backtracking Java Virtual Machine JVM that executes Java bytecodes using a special representation of JVM states. This special...; Tags: Execution, JPF, Programming Languages, Java, Software Development, Software/Web Development; White papers 2008-01-01

Jetico Personal Firewall 2.1.0.6 (Windows): Jetico Personal Firewall protects your computer from hackers, viruses, trojan programs, other external and internal threats to your computer and your data. Three levels of protection are included: low-level network packets filtering, application-level network events filtering and filtering of user-level process activity. With JPF you may check every packet that...; Tags: Network, Trojan Horse, Microsoft Windows, Computer, Jetico, Jetico Personal Firewall, Productivity, Spyware, Spyware, Adware & Malware, Networking, Viruses And Worms, Security; Software downloads 2009-10-21
Jetico Personal Firewall 2.0.2.9 (Windows): Jetico Personal Firewall protects your computer from hackers, viruses, trojan programs, other external and internal threats to your computer and your data. Three levels of protection are included: low-level network packets filtering, application-level network events filtering and filtering of user-level process activity. With JPF you may check every packet that...; Tags: Network, Trojan Horse, Microsoft Windows, Computer, Jetico, Jetico Personal Firewall, Productivity, Spyware, Spyware, Adware & Malware, Networking, Viruses And Worms, Security; Software downloads 2009-03-23

Thought-provoking progressive ideas on diverse topics that intersect with technology, business, and life, and matter to the world at large. Visit SmartPlanet
More from IBM
Can your business work smarter? Learn more about Lotus Symphony
Learn how to work smarter and optimize cost using the IBM Smart SOA approach Download the eBook
Smarter ways to make smarter products Read the brief from IBM